Merge proposals dependent on lp:~widelands-dev/widelands/bug-1434875-net-client-disconnect

lp:~widelands-dev/widelands/bug-1434875-net-client-disconnect has no merge proposals.