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

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