I think I fixed this yesterday evening, can you confirm?

João

On Sun, Sep 24, 2023, 06:03 Eli Zaretskii <eliz@gnu.org> wrote:

> > Date: Sat, 23 Sep 2023 21:34:06 +0200
> > From: Jens Schmidt <jschmidt4gnu@vodafonemail.de>
> >
> > Has anybody else also seen these test errors on master@9babf61:
>
> I see it.  Adding João.
>