From 580a35672576b2802234e0f4751d41813252d9f7 Mon Sep 17 00:00:00 2001
From: Gerd Moellmann <gerd@gnu.org>
Date: Fri, 2 Nov 2001 08:30:48 +0000
Subject: [PATCH] *** empty log message ***

---
 ChangeLog | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/ChangeLog b/ChangeLog
index 8e2b4e03d08..b3c6cb58810 100644
--- 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,Bm(Bk  <Pavel@Janik.cz>
 
 	* configure.in: Reindent --help output.
-- 
2.39.2