From f345826a01e3b197aabff19b73ca8279552a25db Mon Sep 17 00:00:00 2001
From: Pierre Weis <Pierre.Weis@inria.fr>
Date: Mon, 30 Nov 2009 22:44:12 +0000
Subject: [PATCH] Bump dev level.

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9435 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
---
 VERSION | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/VERSION b/VERSION
index bd5f1554f686..860d90aca4be 100644
--- a/VERSION
+++ b/VERSION
@@ -1,4 +1,4 @@
-3.12.0+dev8 (2009-11-30)
+3.12.0+dev9 (2009-11-30)
 
 # The version string is the first line of this file.
 # It must be in the format described in stdlib/sys.mli