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

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