The proposal to merge
lp:~widelands-dev/widelands/bug-1560085-save-suggested-teams-display into
lp:widelands has been updated.
Status: Needs review => Merged
For more details, see:
https://code.launchpad.net/~widelands-dev/widelands/bug-1560085-save-suggested-teams-display/+merge/291
@bunnybot merge
--
https://code.launchpad.net/~widelands-dev/widelands/bug-1560085-save-suggested-teams-display/+merge/291852
Your team Widelands Developers is subscribed to branch
lp:~widelands-dev/widelands/bug-1560085-save-suggested-teams-display.
Review: Approve review, compile, test
Fixes the bug and improves variable names, fine.
--
https://code.launchpad.net/~widelands-dev/widelands/bug-1560085-save-suggested-teams-display/+merge/291852
Your team Widelands Developers is subscribed to branch
Developers is requested to review the proposed merge of
lp:~widelands-dev/widelands/bug-1560085-save-suggested-teams-display into
lp:widelands.
=== modified file 'src/editor/ui_menus/main_menu_save_map.cc'
--- src/editor/ui_menus/main_menu_save_map.cc 2016-04-06 09:23:04 +
+++ src/edito
4 matches
Mail list logo