1 files changed, 5 insertions, 0 deletions

diff --git a/ChangeLog b/ChangeLog
index 293a554c9f5..84d88fa7f1a 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2013-03-06  Paul Eggert  <eggert@cs.ucla.edu>
+
+        * configure.ac (TERM_HEADER): Remove duplicate definition (Bug#13872).
+        It can mess up 'configure' runs.
+
 2013-03-05  Glenn Morris  <rgm@gnu.org>
 
         * Makefile.in (install-man): Ignore gzip exit status.