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

Continuous integration builds have changed state: Travis build 1764. State: passed. Details: https://travis-ci.org/widelands/widelands/builds/183353560. Appveyor build 1603. State: success. Details:

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

small bug, let's try again: @bunnybot merge -- https://code.launchpad.net/~widelands-dev/widelands/productionsite_military_cleanup/+merge/308709 Your team Widelands Developers is subscribed to branch lp:~widelands-dev/widelands/productionsite_military_cleanup.

[Widelands-dev] [Merge] lp:~7010622-q/widelands/topple-sounds-5 into lp:widelands

toptopple has proposed merging lp:~7010622-q/widelands/topple-sounds-5 into lp:widelands. Commit message: Added sounds for Weaving_Mill (all), ATL Woodcutter, Sawmill, Stonecutter. Requested reviews: Widelands Developers (widelands-dev) For more details, see:

Re: [Widelands-dev] [Merge] lp:~janus-jhor/widelands-website/switch_to_settings into lp:widelands-website

Doch, habe ich. Allerdings musste ich den branch erst noch mit trunk mergen, da Janus keine Lust dazu hatte. Evtll hat bzr das nicht gecheckt, das ich den branch hier zu Hause pepusht habe. Auf https://code.launchpad.net/widelands-website steht er auch in der Spalte 'Last Commit'. Ich habe

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

The proposal to merge lp:~widelands-dev/widelands/productionsite_military_cleanup into lp:widelands has been updated. Status: Needs review => Merged For more details, see: https://code.launchpad.net/~widelands-dev/widelands/productionsite_military_cleanup/+merge/308709 -- Your team

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

Does somebody have the time to fix the nit for me? Compiling Widelands on my VM takes hours. -- https://code.launchpad.net/~widelands-dev/widelands/actionconfirm_improvements/+merge/312301 Your team Widelands Developers is subscribed to branch

Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands-website/pyformat_util into lp:widelands-website

Thanks for the nit - fixed :) -- https://code.launchpad.net/~widelands-dev/widelands-website/pyformat_util/+merge/312427 Your team Widelands Developers is subscribed to branch lp:widelands-website. ___ Mailing list: https://launchpad.net/~widelands-dev

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

kaputtnik has proposed merging lp:~widelands-dev/widelands/reset_zoom_button into lp:widelands. Commit message: modified reset_zoom_button Requested reviews: Widelands Developers (widelands-dev) For more details, see: