From bd85aba84475dd956af21c461c44a584958099d1 Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Sat, 14 Jul 2012 08:05:36 +0000
Subject: Support for indirect symbols under MacOS X (final). Remove stdio hack
 in runtime/

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

(limited to 'VERSION')

diff --git a/VERSION b/VERSION
index de44e0d..4fedb2b 100644
--- a/VERSION
+++ b/VERSION
@@ -1 +1,2 @@
-1.11-devel
+1.12
+
-- 
cgit v1.2.3