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

2018-08-11 Thread GunChleoc 
Thanks!

Travis problems are from trunk.

@bunnybot merge force
-- 
https://code.launchpad.net/~widelands-dev/widelands/odd_locale_fix/+merge/352934
Your team Widelands Developers is subscribed to branch 
lp:~widelands-dev/widelands/odd_locale_fix.

___
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/odd_locale_fix into lp:widelands

2018-08-11 Thread Toni Förster 
Review: Approve

Works forme, tested this on macOS 10.13.6.
-- 
https://code.launchpad.net/~widelands-dev/widelands/odd_locale_fix/+merge/352934
Your team Widelands Developers is subscribed to branch 
lp:~widelands-dev/widelands/odd_locale_fix.

___
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