widelands-dev team mailing list archive

[GunChleoc <fios@xxxxxxxxxxxxxxxxxxx>]

GunChleoc has proposed merging lp:~widelands-dev/widelands/bug-1339861 into lp:widelands.

Requested reviews:
  Widelands Developers (widelands-dev)
Related bugs:
  Bug #1339861 in widelands: "Remove the "Military settings" option"
  https://bugs.launchpad.net/widelands/+bug/1339861

For more details, see:
https://code.launchpad.net/~widelands-dev/widelands/bug-1339861/+merge/226570

Deleted MilitaryBox from wui
-- 
https://code.launchpad.net/~widelands-dev/widelands/bug-1339861/+merge/226570
Your team Widelands Developers is requested to review the proposed merge of lp:~widelands-dev/widelands/bug-1339861 into lp:widelands.