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

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