Merge lp:~widelands-dev/widelands/ubuntu-disco into lp:widelands
Proposed by
Toni Förster
Status: | Merged |
---|---|
Merged at revision: | 8940 |
Proposed branch: | lp:~widelands-dev/widelands/ubuntu-disco |
Merge into: | lp:widelands |
Diff against target: |
13 lines (+2/-1) 1 file modified
CMakeLists.txt (+2/-1) |
To merge this branch: | bzr merge lp:~widelands-dev/widelands/ubuntu-disco |
Related bugs: |
Reviewer | Review Type | Date Requested | Status |
---|---|---|---|
GunChleoc | Approve | ||
Review via email: mp+359547@code.launchpad.net |
Commit message
Disable CMP0072 for Ubuntu 19.04
Description of the change
Problem with GLVND persists on Ubuntu 19.04
To post a comment you must log in.
Continuous integration builds have changed state:
Travis build 4298. State: passed. Details: https:/ /travis- ci.org/ widelands/ widelands/ builds/ 459871293. /ci.appveyor. com/project/ widelands- dev/widelands/ build/_ widelands_ dev_widelands_ ubuntu_ disco-4091.
Appveyor build 4091. State: success. Details: https:/