git version 2.4.0
Removing build-aux/texinfo.tex
Removing gnulib/
HEAD is now at 01888dc u{8,16,32}-uctomb: Avoid possible trouble with huge strings.
01888dcca8255a86603c7d5e42bf67dd827138ff