Commit 925e521fc321884826f6fedc14008d2a70f98f5a

Bruno Haible 2021-01-31T12:26:09

Update after gnulib changed.