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: https://launchpad.net/~widelands-dev
Post to : widelands-dev@lists.launchpad.net
Unsubscribe : https://launchpad.net/~widelands-dev
More help   : https://help.launchpad.net/ListHelp

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.

___
Mailing list: https://launchpad.net/~widelands-dev
Post to : widelands-dev@lists.launchpad.net
Unsubscribe : https://launchpad.net/~widelands-dev
More help   : https://help.launchpad.net/ListHelp