Commit ef92ace1d04ca5043ce46f770d1ac810e200ca95

Bruno Haible 2020-08-30T02:36:12

Update after gnulib changed.