Merge proposals dependent on lp:~alocritani/widelands/bugfix-912486

lp:~alocritani/widelands/bugfix-912486 has no merge proposals.