Commit ecc01e3aeed107aac6d02c38e68452106b735e6e

Bruno Haible 2016-12-02T14:05:44

Update from gnulib.