From bb5bcafbc86ff1cf076aeafb9b949f9c2b348e1a Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Thu, 1 May 2014 12:51:39 +0000
Subject: Bump version number before I forget

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2470 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
---
 VERSION | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'VERSION')

diff --git a/VERSION b/VERSION
index 1da5320..c3519ea 100644
--- a/VERSION
+++ b/VERSION
@@ -1,3 +1,3 @@
-2.2
+2.3
 
 
-- 
cgit v1.2.3