From 248e07d1fc8970f0bc424f28d79043cda1c7544c Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 8 Oct 2001 10:11:37 +0000
Subject: Add back note.

---
 CHANGES | 3 +++
 1 file changed, 3 insertions(+)

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
-- 
cgit v1.2.3