On Fri, Aug 25, 2023 at 01:36:41PM +0200, Pavel Sanda wrote: > > At this point I suggest reverting the change you made, unless someone else claims to have reproduced the bug. But it is just a suggestion. > > Ok, I can do that. Committed. P