On Tue, 18 Jan 2022 at 14:51, Bruno Haible <br...@clisp.org> wrote: > > This has been fixed on 2022-01-08.
Many thanks, sorry for the noise! -- https://rrt.sc3d.org
On Tue, 18 Jan 2022 at 14:51, Bruno Haible <br...@clisp.org> wrote: > > This has been fixed on 2022-01-08.
Many thanks, sorry for the noise! -- https://rrt.sc3d.org