From 4e7e4ec0dd7ca702d7d412aadbc0b75096f614a1 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 29 Aug 2002 12:16:53 +0000
Subject: Updated.

---
 etc/release-log.txt | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

(limited to 'etc')

diff --git a/etc/release-log.txt b/etc/release-log.txt
index 95a69a48..2c6c1544 100644
--- a/etc/release-log.txt
+++ b/etc/release-log.txt
@@ -1,8 +1,5 @@
 29.08.02  3.4 Release 3-4 based on branch 7.0
-	  
-          3.4 Release 3-4-0 
-           Fix RPM info files; Isabelle binary search; RedHat desktop; CHANGES; 
-	   Remove isabelle images from splash-screen.
+          (repeated: RPM fixes; Isabelle binary search; CHANGES; splash screen)
 
 --------------------
 
-- 
cgit v1.2.3