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

Reply via email to