widelands-dev team mailing list archive

[TiborB <tiborb95@xxxxxxxxx>]

Review: Approve

Looks good to me, I am glad we figured it out (and I apologize for misleading), it is really great this was hunted down and fixed. And I hope this will not backfire somewhere :)

-- 
https://code.launchpad.net/~widelands-dev/widelands/bug-1559729-lost_portspace/+merge/289626
Your team Widelands Developers is subscribed to branch lp:~widelands-dev/widelands/bug-1559729-lost_portspace.