Merge proposals dependent on lp:~klaus-halfmann/widelands/bug-1395278-wui

lp:~klaus-halfmann/widelands/bug-1395278-wui has no merge proposals.