widelands private

To start a new build commit change to repository or click New build button.
Merged trunk.
_widelands_dev_widelands_bug_1434875_net_client_disconnect-3763