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

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