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

Tino did this in trunk this morning too. -- https://code.launchpad.net/~hjd/widelands/add_flag/+merge/226741 Your team Widelands Developers is requested to review the proposed merge of lp:~hjd/widelands/add_flag into lp:widelands. ___ Mailing list: htt

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

The proposal to merge lp:~hjd/widelands/add_flag into lp:widelands has been updated. Status: Needs review => Merged For more details, see: https://code.launchpad.net/~hjd/widelands/add_flag/+merge/226741 -- https://code.launchpad.net/~hjd/widelands/add_flag/+merge/226741 Your team Widelands

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

Hans Joachim Desserud has proposed merging lp:~hjd/widelands/add_flag into lp:widelands. Requested reviews: Widelands Developers (widelands-dev) For more details, see: https://code.launchpad.net/~hjd/widelands/add_flag/+merge/226741 Rename the remaining calls to wl_add_flag. (This method was