summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorPierre Weis <Pierre.Weis@inria.fr>2009-11-30 22:44:12 +0000
committerPierre Weis <Pierre.Weis@inria.fr>2009-11-30 22:44:12 +0000
commitf345826a01e3b197aabff19b73ca8279552a25db (patch)
treed38835213c468234e2b7a21b263518f7f0d9a1db
parent0dfebd635519d5e9996e54bdd41124b8dbe0ca2e (diff)
downloadocaml-f345826a01e3b197aabff19b73ca8279552a25db.tar.gz
Bump dev level.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9435 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
-rw-r--r--VERSION2
1 files changed, 1 insertions, 1 deletions
diff --git a/VERSION b/VERSION
index bd5f1554f6..860d90aca4 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