[Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1573968-new-map-crash into lp:widelands

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

Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1573968-new-map-crash into lp:widelands

2016-05-03 Thread GunChleoc
I like that much better, thank you! @bunnybot merge -- https://code.launchpad.net/~widelands-dev/widelands/bug-1573968-new-map-crash/+merge/292712 Your team Widelands Developers is subscribed to branch lp:~widelands-dev/widelands/bug-1573968-new-map-crash. __

[Widelands-dev] [Merge] lp:~widelands-dev/widelands/barbarians2-starting-objective into lp:widelands

2016-05-03 Thread bunnybot
Continuous integration builds have changed state: Travis build 1083. State: errored. Details: https://travis-ci.org/widelands/widelands/builds/127258989. Appveyor build 914. State: success. Details: https://ci.appveyor.com/project/widelands-dev/widelands/build/_widelands_dev_widelands_barbarians

[Widelands-dev] [Merge] lp:~widelands-dev/widelands/barbarians2-starting-objective into lp:widelands

2016-05-03 Thread bunnybot
Bunnybot encountered an error while working on this merge proposal: The read operation timed out -- https://code.launchpad.net/~widelands-dev/widelands/barbarians2-starting-objective/+merge/293546 Your team Widelands Developers is requested to review the proposed merge of lp:~widelands-dev/widel

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

2016-05-03 Thread noreply
The proposal to merge lp:~widelands-dev/widelands/gcc531 into lp:widelands has been updated. Status: Needs review => Merged For more details, see: https://code.launchpad.net/~widelands-dev/widelands/gcc531/+merge/293478 -- Your team Widelands Developers is subscribed to branch lp:~wideland

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

2016-05-03 Thread GunChleoc
All clear :) @bunnybot merge -- https://code.launchpad.net/~widelands-dev/widelands/gcc531/+merge/293478 Your team Widelands Developers is subscribed to branch lp:~widelands-dev/widelands/gcc531. ___ Mailing list: https://launchpad.net/~widelands-dev

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

2016-05-03 Thread Klaus Halfmann
Review: Approve OK, for me with _my_ change, but gcc may complain again? -- https://code.launchpad.net/~widelands-dev/widelands/gcc531/+merge/293478 Your team Widelands Developers is subscribed to branch lp:~widelands-dev/widelands/gcc531. ___ Mailing