widelands-dev team mailing list archive
-
widelands-dev team
-
Mailing list archive
-
Message #06017
Re: [Merge] lp:~widelands-dev/widelands/ship_and_portspaces into lp:widelands
I attached a screenshot showing two ports (one still constructionsite) with overlapping portdocks to see that they were not that close to each other
https://bugs.launchpad.net/widelands/+bug/1542703/+attachment/4567691/+files/shot0002.jpg
--
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.
References