Commit ef22b8c17144737d4c082363bd59cc0e551e77fd

Bruno Haible 2024-11-22T18:46:21

Update after gnulib changed.