Commit 0a05ca75c08ae899f6fca5f79254491e13ffb500

Bruno Haible 2023-02-05T20:45:06

Update after gnulib changed.