widelands-dev team mailing list archive

[TiborB <tiborb95@xxxxxxxxx>]

No, it would not help my situation. All territory in more then sufficient radius around the new port was already owned by the player.
-- 
https://code.launchpad.net/~widelands-dev/widelands/ship_and_portspaces/+merge/285409
Your team Widelands Developers is requested to review the proposed merge of lp:~widelands-dev/widelands/ship_and_portspaces into lp:widelands.