← Back to team overview

widelands-dev team mailing list archive

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


Review: Approve

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.