From bcb7d4478cf933485243ced42282f4d9f7586763 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Sat, 8 Feb 2003 11:05:41 +0000
Subject: Bug Rename

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3671 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 CHANGES | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/CHANGES b/CHANGES
index c1b126546e..481509b7f6 100644
--- a/CHANGES
+++ b/CHANGES
@@ -1,3 +1,10 @@
+Changes from V7.4
+=================
+
+Bugs
+
+- Rename bug fixed (#244)
+
 Changes from V7.3.1 to V7.4
 ===========================
 
-- 
cgit v1.2.3