Commit 92c01a297ea0ebdb7743e3efd6d723332a02966b

Bruno Haible 2022-01-24T01:36:56

Update after gnulib changed.