Merge proposals dependent on lp:~widelands-dev/widelands/bug-1342563

lp:~widelands-dev/widelands/bug-1342563 has no merge proposals.