-
Committer:
Wideland's Bunnybot
-
Date:
2018-10-16 07:12:18 UTC
-
mfrom:
(8889.1.2 GLVND_18_10)
-
Revision ID:
bunnybot@widelands.org-20181016071218-f25j36r6d95uqdxx
Merged lp:~widelands-dev/widelands/GLVND_18_10:
set CMP0072 to OLD for Ubuntu 18.10 when using GCC