← Back to team overview

widelands-dev team mailing list archive

Re: [Merge] lp:~widelands-dev/widelands/bug_1725724_ai_data into lp:widelands

 

Sounds good to me.

The actual fix was clearing the container, which hadn't been done.
-- 
https://code.launchpad.net/~widelands-dev/widelands/bug_1725724_ai_data/+merge/333681
Your team Widelands Developers is subscribed to branch lp:~widelands-dev/widelands/bug_1725724_ai_data.


References