← Back to team overview

widelands-dev team mailing list archive

Re: [Merge] lp:~widelands-dev/widelands/bug-1811030-desync-ai into lp:widelands


I compiled the game revision of the other bug report with the changes of this branch applied and it indeed seems to fix the issues there.
Your team Widelands Developers is subscribed to branch lp:~widelands-dev/widelands/bug-1811030-desync-ai.