widelands-dev team mailing list archive
Mailing list archive
Re: [Merge] lp:~widelands-dev/widelands/ai_new_wai_files_21052019 into lp:widelands
I agree that we should go through the formal process here, just to make sure that no extra changes have been accidentally committed and to have bunnybot build it.
Your team Widelands Developers is subscribed to branch lp:~widelands-dev/widelands/ai_new_wai_files_21052019.