widelands-dev team mailing list archive

Thread
Date

Re: [Merge] lp:~widelands-dev/widelands/bug-1718745-allows-seafaring into lp:widelands

To: mp+333233@xxxxxxxxxxxxxxxxxx
From: GunChleoc <fios@xxxxxxxxxxxxxxxxxxx>
Date: Sun, 10 Dec 2017 21:20:54 -0000
In-reply-to: <150997574458.31527.15956435497830417650.launchpad@ackee.canonical.com>
Reply-to: mp+333233@xxxxxxxxxxxxxxxxxx
Sender: bounces@xxxxxxxxxxxxx

Review: Resubmit

Excellent suggestions, I have implemented them. I also added a simple check for number of port spaces up front, this will speed things up even further on non-seafaring maps.

And ASan found a bug, that's now fixed too :)
-- 
https://code.launchpad.net/~widelands-dev/widelands/bug-1718745-allows-seafaring/+merge/333233
Your team Widelands Developers is subscribed to branch lp:~widelands-dev/widelands/bug-1718745-allows-seafaring.

References

[Merge] lp:~widelands-dev/widelands/bug-1718745-allows-seafaring into lp:widelands
From: GunChleoc, 2017-11-06