Comment 32 for bug 1472755

Revision history for this message
Michi Henning (michihenning) wrote :

Hi Michał, thanks for trying.

Unfortunately, it's a partially decidable problem. If you don't see the bug, that doesn't mean that the bug is fixed :-(
All we can be sure of is that, if you still do see the bug, it isn't fixed…

I have good reason to believe that the code in the PPA gets rid of the problem. But, seeing that I never managed to reproduce myself, I'm looking for more data.

Timo, if you could give this a spin too, I'd appreciate it!