Commit d22bc65328441a58d6f85f2b1c4e925121d1ab63

Bruno Haible 2019-12-22T15:50:00

Update from gnulib.