Commit bc17565f9a4caca27161609c526b776287a8270e

Bruno Haible 2024-12-28T08:26:48

Update after gnulib changed. * Makefile.devel (GNULIB_MODULES): Use the new names of renamed gnulib modules.