I compiled r8934 with the mentioned fix for bug 1811030 and could no longer reproduce the desync with the above savegame. So I think this bug is indeed fixed now.
I compiled r8934 with the mentioned fix for bug 1811030 and could no longer reproduce the desync with the above savegame. So I think this bug is indeed fixed now.