[Widelands-dev] [Merge] lp:~hjd/widelands/remove-indentation-checker into lp:widelands

The proposal to merge lp:~hjd/widelands/remove-indentation-checker into lp:widelands has been updated. Status: Needs review = Merged For more details, see: https://code.launchpad.net/~hjd/widelands/remove-indentation-checker/+merge/238075 --

[Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1380307 into lp:widelands

The proposal to merge lp:~widelands-dev/widelands/bug-1380307 into lp:widelands has been updated. Status: Needs review = Merged For more details, see: https://code.launchpad.net/~widelands-dev/widelands/bug-1380307/+merge/238083 --

Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1291904 into lp:widelands

Resaving maps with --nozip doesn't work for the test suite maps, it kills them. So, will have to create all of them from scratch. Maybe someone with a big screen and practice with the editor could do that? -- https://code.launchpad.net/~widelands-dev/widelands/bug-1291904/+merge/237128 Your

[Widelands-dev] [Merge] lp:~widelands-dev/widelands/wui_won_message into lp:widelands

GunChleoc has proposed merging lp:~widelands-dev/widelands/wui_won_message into lp:widelands. Requested reviews: Widelands Developers (widelands-dev) For more details, see: https://code.launchpad.net/~widelands-dev/widelands/wui_won_message/+merge/238111 Fixed space issues in game summary.

Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1371062 into lp:widelands

Review: Resubmit OK, done. I think. The confirmation box now also kills the Game Options Menu. If that isn't wanted behaviour, I can easily change that - it's just 1 line of code to remove. -- https://code.launchpad.net/~widelands-dev/widelands/bug-1371062/+merge/238048 Your team Widelands