Okay it does work:
https://travis-ci.org/widelands/widelands/jobs/467818365
@bunnybot merge force
« Back to merge proposal
Okay it does work:
https:/ /travis- ci.org/ widelands/ widelands/ jobs/467818365
@bunnybot merge force