I have not noticed this problem in recent years. (Although I am on a
substantially faster machine now, so maybe it is just not as noticable.)
The report can be closed, as far as I am concerned.
Greetings,
Christian
On 18.10.26 11:15, Paul Gevers wrote:
Hi Christian,
On Wed, 16 Nov 2022 10:14:49 +0100 Christian Henz <[email protected]> wrote:
I'll keep monitoring the situation, but I also think this may not be
reproducible after all.
Given that you haven't reported back in 4 years, shall we close this
report?
Paul
