Hi Sebastian,

quoted

quoted

Was this with or without the ctor patch I mentioned?

I was still without the reverted patch.

In that case I ignore this report unless you manage (or not) to
reproduce it without the patch.

since I have reverted the patch the BUG has not occurred anymore.
Even if this is not a proof that this was the reason, it improved the 
stability.

Regards

Mathias