Merge from gnulib.
authorPaul Eggert <eggert@cs.ucla.edu>
Wed, 5 Feb 2014 19:41:03 +0000 (11:41 -0800)
committerPaul Eggert <eggert@cs.ucla.edu>
Wed, 5 Feb 2014 19:41:03 +0000 (11:41 -0800)
commit06c2ec49462474205dbd79a5dbd96bf73367d949
tree90a5090472895f15ff1fa9aa0bbe475a914b180c
parent81f9a6edde971d8ec7d31cab03a766feb6ae074b
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.
ChangeLog
doc/misc/ChangeLog
doc/misc/texinfo.tex
lib/time.in.h