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

2017-10-18 Thread noreply
The proposal to merge lp:~widelands-dev/widelands-website/settings_unicode into lp:widelands-website has been updated. Status: Needs review => Merged For more details, see: https://code.launchpad.net/~widelands-dev/widelands-website/settings_unicode/+merge/332381 -- Your team Widela

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

2017-10-18 Thread SirVer
ite/settings_unicode/+merge/332381 Your team Widelands Developers is requested to review the proposed merge of lp:~widelands-dev/widelands-website/settings_unicode into lp:widelands-website. ___ Mailing list: https://launchpad.net/~widelands-dev Post

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

2017-10-17 Thread kaputtnik
Tested on alpha. Works fine there :-) -- https://code.launchpad.net/~widelands-dev/widelands-website/settings_unicode/+merge/332381 Your team Widelands Developers is requested to review the proposed merge of lp:~widelands-dev/widelands-website/settings_unicode into lp:widelands-website