On Sun, 14 Aug 2022 at 15:22, Alan Mackenzie <acm@muc.de> wrote:

> > Can I ask you please, instead of applying your patch (above) to try
> > out the following patch, which works for me.
>

It fixes my bug too.

Andrea