summaryrefslogtreecommitdiff
path: root/VERSION
diff options
context:
space:
mode:
authorDamien Doligez <damien.doligez@inria.fr>2018-04-10 10:46:54 +0200
committerDamien Doligez <damien.doligez@inria.fr>2018-04-10 10:46:54 +0200
commit21d75782934bb4e912ba1cd97e5d14f85315fcd7 (patch)
treec083dd3ff68c6e684793f779eeba9dd3fc5bb73c /VERSION
parentdf82a6a5cf441395cf2483f07342a275e3f8a98f (diff)
downloadocaml-21d75782934bb4e912ba1cd97e5d14f85315fcd7.tar.gz
last commit before tagging 4.07.0+beta1
Diffstat (limited to 'VERSION')
-rw-r--r--VERSION2
1 files changed, 1 insertions, 1 deletions
diff --git a/VERSION b/VERSION
index 37d44bedc0..6e4b12da8d 100644
--- a/VERSION
+++ b/VERSION
@@ -1,4 +1,4 @@
-4.07.0+dev2-2018-04-09
+4.07.0+dev3-2018-04-10
# The version string is the first line of this file.
# It must be in the format described in stdlib/sys.mli