Commit 4d57c61b09d24a75db29fcce676f752f75cf15e6

Bruno Haible 2021-09-19T22:48:01

Update after gnulib changed.