widelands-dev team mailing list archive

[GunChleoc <fios@xxxxxxxxxxxxxxxxxxx>]

That was more of a question for Kaputtnik - you are fixing 2 things here. He commented that 1724073 is fixed, but not on the other bug. I don't want to spend time testing whether the other bug is indeed fixed if he has already done so. 
-- 
https://code.launchpad.net/~widelands-dev/widelands/ai_small_requests/+merge/332519
Your team Widelands Developers is subscribed to branch lp:~widelands-dev/widelands/ai_small_requests.