summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorDamien Doligez <damien.doligez@inria.fr>2018-10-04 15:39:40 +0200
committerDamien Doligez <damien.doligez@inria.fr>2018-10-04 15:39:40 +0200
commit20d2b67a39750ef334dad3aab13766646c523569 (patch)
treefd46760be22f909b5bef75de0a062267297a9b76
parent9803cf37ac52bbfa5130fde0f228dc51c4590c2d (diff)
downloadocaml-20d2b67a39750ef334dad3aab13766646c523569.tar.gz
increment version number after tagging 4.07.1
-rw-r--r--VERSION2
1 files changed, 1 insertions, 1 deletions
diff --git a/VERSION b/VERSION
index 0e48c0f1a7..4dd70c7494 100644
--- a/VERSION
+++ b/VERSION
@@ -1,4 +1,4 @@
-4.07.1
+4.07.2+dev0-2018-10-04
# The version string is the first line of this file.
# It must be in the format described in stdlib/sys.mli