widelands-dev team mailing list archive
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.