Fragment of a discussion from User talk:Claus chr

I think it's fixed now (I tested it 20 times and I didn't get this bug again). Let me know if the problem still appear.

Otherwise, I will publish my patch upstream ;)

20:32, 26 August 2019

\o/ Thanks a lot. I shall test it the next couple of days. I'll let you know if I encounter the problem again.

04:43, 27 August 2019