Remove note for devel

1 files changed, 0 insertions, 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