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.