Comment # 8 on bug 70910 from Vadim Girlin

(In reply to Oded Gabbay from comment #7)
> Hi Vadim,
> Is it still relevant for you ?
> Does it still happen ?

Hi, Oded,

It's not relevant for me anymore. I didn't test it since 2014, so not sure if
it still happens.

I guess the bug can be closed.