From b42e57ad1bef6f4f2863c9e2dab53bddfc4586a7 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 25 Aug 2004 21:07:13 +0000
Subject: Update for forthcoming 3.6

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

diff --git a/etc/release-log.txt b/etc/release-log.txt
index 60a27a41..cebdbfae 100644
--- a/etc/release-log.txt
+++ b/etc/release-log.txt
@@ -1,8 +1,8 @@
-XX.04.04  3.5.1 Release forthcoming for improved Coq 8.0 support
+XX.09.04  3.6 Release 3-6 based on branch 9.0
 
 --------------------
 
-18.04.04  3.5 Release 3-4 based on branch 8.0
+18.04.04  3.5 Release 3-5 based on branch 8.0
 	  (repeated: 18.04.04 fixes to display handling
 		     21.04.04 modify CHANGES; Coq menu)
 
-- 
cgit v1.2.3