From 0528a4d9b360b32a8473df1a92991a2ed4261b2d Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Thu, 15 May 2014 07:32:11 +0000
Subject: Bump

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

(limited to 'VERSION')

diff --git a/VERSION b/VERSION
index 435fff21..22712559 100644
--- a/VERSION
+++ b/VERSION
@@ -1 +1,2 @@
-2.3pl1
+2.3pl2
+
-- 
cgit