Commit 22e4bc61e42cc574eb19a11785a272d4c9b306a0

Bruno Haible 2022-02-12T13:51:11

Update after gnulib changed.