Commit 18d002cfb2bc22c9a9dfe25e4c1e56d2d4bcdc59

Bruno Haible 2017-05-18T22:04:54

Update from gnulib.