From 1cafe487b651977e7f1b21bb4f993e809a0cb5d6 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 21 Apr 2004 20:03:46 +0000
Subject: Updated.

---
 etc/release-log.txt | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/etc/release-log.txt b/etc/release-log.txt
index c1f92677..ec99be5a 100644
--- a/etc/release-log.txt
+++ b/etc/release-log.txt
@@ -1,5 +1,6 @@
 18.04.04  3.5 Release 3-4 based on branch 8.0
-	  (repeated: fixes to display handling)
+	  (repeated: 18.04.04 fixes to display handling
+		     21.04.04 modify CHANGES; Coq menu)
 
 --------------------
 
-- 
cgit v1.2.3