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!
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!