@Klaus: Glad it's working better now. I have opened a bug to update Travis with the new version too: https://bugs.launchpad.net/widelands/+bug/1766069
« Back to merge proposal
@Klaus: Glad it's working better now. I have opened a bug to update Travis with the new version too: https:/ /bugs.launchpad .net/widelands/ +bug/1766069