Commit f3f8dbdb6a96eed63b383c5fff856eaf9a8f30d5

Bruno Haible 2025-04-16T16:24:16

Update after gnulib changed. * gitsub.sh: Update from gnulib.