Commit a1f83cd2c77593c1a64a201428db4192372e9aae

Bruno Haible 2024-07-12T14:16:59

Update after gnulib changed.