summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorDamien Doligez <damien.doligez-inria.fr>2013-06-13 19:18:40 +0000
committerDamien Doligez <damien.doligez-inria.fr>2013-06-13 19:18:40 +0000
commita213e574f20668fa86d0da871120eb66a8aa7a6a (patch)
treed4ac15225677deb1b6dbfb06a324e83c407ee90f
parent9bb57c63e67f36a64daa80083e396aaad53e4c54 (diff)
before branching 4.01
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13774 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
-rw-r--r--VERSION2
1 files changed, 1 insertions, 1 deletions
diff --git a/VERSION b/VERSION
index beb5ead30..afe989340 100644
--- a/VERSION
+++ b/VERSION
@@ -1,4 +1,4 @@
-4.01.0+dev16-2013-06-03
+4.01.0+dev17-2013-06-13
# The version string is the first line of this file.
# It must be in the format described in stdlib/sys.mli