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

2018-04-16 Thread noreply
The proposal to merge lp:~widelands-dev/widelands/delete_new_font_renderer_messages into lp:widelands has been updated. Status: Needs review => Merged For more details, see: https://code.launchpad.net/~widelands-dev/widelands/delete_new_font_renderer_messages/+merge/343294 -- Your t

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

2018-04-16 Thread GunChleoc
@bunnybot merge -- https://code.launchpad.net/~widelands-dev/widelands/delete_new_font_renderer_messages/+merge/343294 Your team Widelands Developers is requested to review the proposed merge of lp:~widelands-dev/widelands/delete_new_font_renderer_messages into lp:widelands

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

2018-04-16 Thread bunnybot
/_widelands_dev_widelands_delete_new_font_renderer_messages-3189. -- https://code.launchpad.net/~widelands-dev/widelands/delete_new_font_renderer_messages/+merge/343294 Your team Widelands Developers is requested to review the proposed merge of lp:~widelands-dev/widelands/delete_new_font_renderer_messages into lp:widelands

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

2018-04-16 Thread GunChleoc
-dev/widelands/delete_new_font_renderer_messages/+merge/343294 Just removing some noise. I have tested it. @bunnybot merge -- Your team Widelands Developers is requested to review the proposed merge of lp:~widelands-dev/widelands/delete_new_font_renderer_messages into lp:widelands. === modified