Merge proposals dependent on lp:~widelands-dev/widelands/remove-compatibility-wares

lp:~widelands-dev/widelands/remove-compatibility-wares has no merge proposals.