widelands private

To start a new build commit change to repository or click New build button.
Fix incorrect cleanup of port spaces on save
_widelands_dev_widelands_bug_1559729_lost_portspace-712