[Widelands-dev] [Merge] lp:~hjd/widelands/typo-fixes into lp:widelands

Hans Joachim Desserud has proposed merging lp:~hjd/widelands/typo-fixes into lp:widelands. Requested reviews: Widelands Developers (widelands-dev) For more details, see: https://code.launchpad.net/~hjd/widelands/typo-fixes/+merge/311322 Fixes various typos which were found by emptty when

[Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-863185-census-on-destroyed-building into lp:widelands

Continuous integration builds have changed state: Travis build 1619. State: passed. Details: https://travis-ci.org/widelands/widelands/builds/176633949. Appveyor build 1457. State: success. Details:

[Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-863185-census-on-destroyed-building into lp:widelands

Bunnybot encountered an error while working on this merge proposal: HTTP Error 500: Internal Server Error -- https://code.launchpad.net/~widelands-dev/widelands/bug-863185-census-on-destroyed-building/+merge/309818 Your team Widelands Developers is subscribed to branch