[Widelands-dev] [Merge] lp:~widelands-dev/widelands/mapgen-ui-updates into lp:widelands

2016-05-12 Thread noreply
The proposal to merge lp:~widelands-dev/widelands/mapgen-ui-updates into lp:widelands has been updated. Status: Needs review => Merged For more details, see: https://code.launchpad.net/~widelands-dev/widelands/mapgen-ui-updates/+merge/294520 -- Your team Widelands Developers is requested to

Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/mapgen-ui-updates into lp:widelands

2016-05-12 Thread GunChleoc
LGTM :) @bunnybot merge -- https://code.launchpad.net/~widelands-dev/widelands/mapgen-ui-updates/+merge/294520 Your team Widelands Developers is requested to review the proposed merge of lp:~widelands-dev/widelands/mapgen-ui-updates into lp:widelands. ___

[Widelands-dev] [Merge] lp:~widelands-dev/widelands/mapgen-ui-updates into lp:widelands

2016-05-12 Thread bunnybot
Continuous integration builds have changed state: Travis build 1110. State: passed. Details: https://travis-ci.org/widelands/widelands/builds/129753824. Appveyor build 947. State: success. Details: https://ci.appveyor.com/project/widelands-dev/widelands/build/_widelands_dev_widelands_mapgen_ui_u

[Widelands-dev] [Merge] lp:~widelands-dev/widelands/mapgen-ui-updates into lp:widelands

2016-05-12 Thread Miroslav Remák
Miroslav Remák has proposed merging lp:~widelands-dev/widelands/mapgen-ui-updates into lp:widelands. Commit message: - Restore map generation ID validity checking - Fix map generation UI not updating properly when user changes map ID - Fix map generation UI not updating properly when user changes

[Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1536377-texture-atlas-size into lp:widelands

2016-05-12 Thread GunChleoc
The proposal to merge lp:~widelands-dev/widelands/bug-1536377-texture-atlas-size into lp:widelands has been updated. Status: Needs review => Work in progress For more details, see: https://code.launchpad.net/~widelands-dev/widelands/bug-1536377-texture-atlas-size/+merge/293067 -- Your team

[Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1535065-random-map-id into lp:widelands

2016-05-12 Thread noreply
The proposal to merge lp:~widelands-dev/widelands/bug-1535065-random-map-id into lp:widelands has been updated. Status: Needs review => Merged For more details, see: https://code.launchpad.net/~widelands-dev/widelands/bug-1535065-random-map-id/+merge/294379 -- Your team Widelands Developers

Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1548932-editor-save-zip-2 into lp:widelands

2016-05-12 Thread GunChleoc
Everything's fine on my Ubuntu. -- https://code.launchpad.net/~widelands-dev/widelands/bug-1548932-editor-save-zip-2/+merge/294067 Your team Widelands Developers is subscribed to branch lp:~widelands-dev/widelands/bug-1548932-editor-save-zip-2. ___ Mai

Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1535065-random-map-id into lp:widelands

2016-05-12 Thread GunChleoc
@bunnybot merge -- https://code.launchpad.net/~widelands-dev/widelands/bug-1535065-random-map-id/+merge/294379 Your team Widelands Developers is subscribed to branch lp:~widelands-dev/widelands/bug-1535065-random-map-id. ___ Mailing list: https://launc