*** empty log message ***

diff --git a/ChangeLog b/ChangeLog
index 8e2b4e03d08297d059073fd63077ec08dd525012..b3c6cb58810d1e0254ad3f871ee1144dfc4f594b 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,7 @@
+2001-11-01  Gerd Moellmann  <gerd@gnu.org>
+
+       * configure.in: Remove doubled `;;'.
+
 2001-11-01  Pavel Jan\e,Bm\e(Bk  <Pavel@Janik.cz>
 
        * configure.in: Reindent --help output.