Review: Approve a) that is fine. b) Right, that was in late initialization. Sorry for missing that.
lgtm. I went ahead and merged. Thanks for the contribution! -- https://code.launchpad.net/~widelands-dev/widelands/tibor-ai4/+merge/226029 Your team Widelands Developers is subscribed to branch lp:~widelands-dev/widelands/tibor-ai4. _______________________________________________ Mailing list: https://launchpad.net/~widelands-dev Post to : widelands-dev@lists.launchpad.net Unsubscribe : https://launchpad.net/~widelands-dev More help : https://help.launchpad.net/ListHelp
