[Widelands-dev] [Merge] lp:~widelands-dev/widelands/choose-attack-soldiers into lp:widelands

Benedikt Straub has proposed merging lp:~widelands-dev/widelands/choose-attack-soldiers into lp:widelands. Commit message: Allow the player to choose the soldiers to send in the attack box Requested reviews: Widelands Developers (widelands-dev) Related bugs: Bug #585981 in widelands: "Soldie

[Widelands-dev] [Merge] lp:~widelands-dev/widelands/choose-attack-soldiers into lp:widelands

Continuous integration builds have changed state: Travis build 4908. State: failed. Details: https://travis-ci.org/widelands/widelands/builds/529279191. Appveyor build 4689. State: success. Details: https://ci.appveyor.com/project/widelands-dev/widelands/build/_widelands_dev_widelands_choose_att

[Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1825932-open-games into lp:widelands

Continuous integration builds have changed state: Travis build 4909. State: failed. Details: https://travis-ci.org/widelands/widelands/builds/529451211. Appveyor build 4690. State: success. Details: https://ci.appveyor.com/project/widelands-dev/widelands/build/_widelands_dev_widelands_bug_182593