widelands

Code review comment for lp:~widelands-dev/widelands/bug-1811030-desync-ai

Revision history for this message

Notabilis (notabilis27) wrote on 2019-01-12:

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.