1 files changed, 3 insertions, 0 deletions
diff --git a/CHANGES b/CHANGES
index 41818557..f991c940 100644
--- a/CHANGES
+++ b/CHANGES
@@ -1,5 +1,8 @@
 -*- 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