Comment 22 for bug 1816018

Yes, it is very hard to trigger the right moment for this bug to appear. I guess I just got lucky on the first try. If you need more savegames later on, to test your fix, let me know.

You added some logging, are they part of the output I send? Since I'm somehow able to reproduce this bug (even if it takes 30 minutes or more), are there any other information I can provide?