gnulib: undo previous change

1 files changed, 4 insertions, 0 deletions

diff --git a/ChangeLog b/ChangeLog
index 6b5cbe02b2c..ec53bb0ecd5 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,5 +1,9 @@
 2011-02-06  Paul Eggert  <eggert@cs.ucla.edu>
 
+        gnulib: undo previous change
+        The upstream _HEADERS change was backed out of gnulib (see the
+        same thread).  Stay in sync with gnulib.
+
         gnulib: adjust to upstream _HEADERS change
         * lib/Makefile.am (EXTRA_HEADERS, nodist_pkginclude_HEADERS):
         New empty macros, to accommodate recent changes to gnulib.  See