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

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