Hi Florian, I somehow did not see your message what caused the late reply. I did not notice the described problem anymore, lately. My recent version is 14.10 r21. But even before the update to r21 it was not as bad as when I first reported this bug.
Hi Florian,
I somehow did not see your message what caused the late reply. I did not notice the described problem anymore, lately. My recent version is 14.10 r21. But even before the update to r21 it was not as bad as when I first reported this bug.