Commit a1abed73e5894c41bf330d6d55368025d3f782f2

Bruno Haible 2021-01-31T13:03:23

Update after gnulib changed on 2020-08-26.