Merge proposals dependent on lp://staging/~widelands-dev/widelands/editor-views-1

lp://staging/~widelands-dev/widelands/editor-views-1 has no merge proposals.