Merge proposals dependent on lp:~hjd/widelands/bug717749

lp:~hjd/widelands/bug717749 has no merge proposals.