Commit 4b6a65bf62445914ed72282ffae31c2df4690716

Bruno Haible 2020-04-04T15:18:38

Update after gnulib changed.