summaryrefslogtreecommitdiff
path: root/VERSION
diff options
context:
space:
mode:
authorDamien Doligez <damien.doligez-inria.fr>2012-09-10 10:25:18 +0000
committerDamien Doligez <damien.doligez-inria.fr>2012-09-10 10:25:18 +0000
commit526d44647b79dfd9561d170704e1eabf9a65cd58 (patch)
treed5224a89c705014597f8bf2681673d44db4aafee /VERSION
parent829b8ae94485cbca12abc3f94720a97229fdc649 (diff)
downloadocaml-526d44647b79dfd9561d170704e1eabf9a65cd58.tar.gz
PR#5757: GC compaction bug (crash)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12912 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'VERSION')
-rw-r--r--VERSION2
1 files changed, 1 insertions, 1 deletions
diff --git a/VERSION b/VERSION
index 686a67a16a..0388dce6c7 100644
--- a/VERSION
+++ b/VERSION
@@ -1,4 +1,4 @@
-4.01.0+dev7_2012-08-06
+4.01.0+dev8_2012-09-10
# The version string is the first line of this file.
# It must be in the format described in stdlib/sys.mli