From 8d98b4224b0996f06b6f982244dc2e67385c6945 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 23 Dec 2011 09:35:27 +0000
Subject: Will release 4.2 next, after all

---
 CHANGES | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/CHANGES b/CHANGES
index 0762a7e5..c3c3ce50 100644
--- a/CHANGES
+++ b/CHANGES
@@ -4,7 +4,7 @@ This is a summary of main changes.  For details, please see
 the CVS ChangeLog and PG Trac, http://proofgeneral.inf.ed.ac.uk/trac.
 
 
-* Changes of Proof General 4.1.1 from Proof General 4.1
+* Changes of Proof General 4.2 from Proof General 4.1
 
 ** Generic/misc changes
 
-- 
cgit v1.2.3