[Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1833352-empty-game-names into lp:widelands

2019-06-20 Thread bunnybot
Continuous integration builds have changed state: Travis build 5204. State: errored. Details: https://travis-ci.org/widelands/widelands/builds/548219574. Appveyor build 4983. State: success. Details:

[Widelands-dev] [Merge] lp:~widelands-dev/widelands/ignore-me__net-debug into lp:widelands

2019-06-20 Thread Notabilis
Notabilis has proposed merging lp:~widelands-dev/widelands/ignore-me__net-debug into lp:widelands. Commit message: do not merge Requested reviews: Widelands Developers (widelands-dev) For more details, see:

[Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1833352-empty-game-names into lp:widelands

2019-06-20 Thread Toni Förster
Toni Förster has proposed merging lp:~widelands-dev/widelands/bug-1833352-empty-game-names into lp:widelands. Commit message: Fix for corner case: don't set empty game name if no game is present Requested reviews: Widelands Developers (widelands-dev) Related bugs: Bug #1833352 in widelands: