Paul Eggert 06c2ec4946 Merge from gnulib. ...

This incorporates:

2014-01-23 pthread: work around winpthread header pollution on mingw
* lib/time.in.h: Update from gnulib.

* doc/misc/texinfo.tex: Update from texinfo.

2014-02-05 11:41:03 -08:00

9.8 KiB

Raw Blame History

View Raw