Commit 07aa900d50053092f084892c782eec3454af5868

Bruno Haible 2018-05-04T21:22:25

Update from gnulib.