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

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