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

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