Merge proposals dependent on lp://staging/~widelands-dev/widelands/bug1203121

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