Merge proposals dependent on lp:~widelands-dev/widelands/bug1504366

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