From 86ec79269e280c40c5ec9c4aa477d7ff8bd29bf6 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 4 Oct 2001 10:33:41 +0000
Subject: Remove note for devel

---
 CHANGES | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/CHANGES b/CHANGES
index f991c940..41818557 100644
--- a/CHANGES
+++ b/CHANGES
@@ -1,8 +1,5 @@
 -*- outline -*-
 
-[ Temporarily: this devel release is currently a bug fix / tweaked 
-  version of 3.3, which will be wrapped back into a patched 3.3 shortly. ]
-
 * Summary of Changes for Proof General 3.3 from 3.2
 
 ** Generic Changes
-- 
cgit v1.2.3