Commit da2aa29ca46cca4df07edad4f5eae0ddb7cecd3f

Bruno Haible 2016-10-01T16:37:58

Update to current gnulib.