Glad to hear it!

On Sat, Sep 2, 2023, 20:52 Stefan Kangas <stefankangas@gmail.com> wrote:

> Johan Widén <j.e.widen@gmail.com> writes:
>
> > Yes, it seems to be fixed. I can no longer provoke the bug.
>
> Thanks, I'm therefore closing this bug.
>