[Widelands-dev] [Merge] lp:~widelands-dev/widelands/fri-01-portspace into lp:widelands

2018-07-30 Thread noreply
The proposal to merge lp:~widelands-dev/widelands/fri-01-portspace into lp:widelands has been updated. Status: Needs review => Merged For more details, see: https://code.launchpad.net/~widelands-dev/widelands/fri-01-portspace/+merge/350729 -- Your team Widelands Developers is subscri

Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/fri-01-portspace into lp:widelands

2018-07-30 Thread GunChleoc
Tested. @bunnybot merge -- https://code.launchpad.net/~widelands-dev/widelands/fri-01-portspace/+merge/350729 Your team Widelands Developers is subscribed to branch lp:~widelands-dev/widelands/fri-01-portspace. ___ Mailing list:

Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/fri-01-portspace into lp:widelands

2018-07-25 Thread GunChleoc
Review: Approve Code LGTM. Should still be tested though, there is always something that could go wrong. -- https://code.launchpad.net/~widelands-dev/widelands/fri-01-portspace/+merge/350729 Your team Widelands Developers is subscribed to branch lp:~widelands-dev/widelands/fri-01-portspace.

[Widelands-dev] [Merge] lp:~widelands-dev/widelands/fri-01-portspace into lp:widelands

2018-07-24 Thread bunnybot
Continuous integration builds have changed state: Travis build 3719. State: passed. Details: https://travis-ci.org/widelands/widelands/builds/407640491. Appveyor build 3519. State: success. Details:

[Widelands-dev] [Merge] lp:~widelands-dev/widelands/fri-01-portspace into lp:widelands

2018-07-24 Thread Benedikt Straub
Benedikt Straub has proposed merging lp:~widelands-dev/widelands/fri-01-portspace into lp:widelands. Commit message: Adds another port space to scenario fri01 to fix difficulties with finding and reaching the port space Requested reviews: MP (pagel-d) Related bugs: Bug #1783115 in