Commit 152fe3573287f8afdd813ea238a69dad2b4df566

Bruno Haible 2018-10-24T03:42:24

Update after gnulib changed.