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

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