summaryrefslogtreecommitdiff
path: root/VERSION
diff options
context:
space:
mode:
authorDamien Doligez <damien.doligez@inria.fr>2018-09-21 16:03:41 +0200
committerDamien Doligez <damien.doligez@inria.fr>2018-09-21 16:03:41 +0200
commit02915361092f2334c6847c72a3648bcbd8856ccd (patch)
tree7a1140cf1ef51ee823d506b16b2eaf86b19e8393 /VERSION
parent27bcee1caa010afc87bd96843888d7750cace674 (diff)
downloadocaml-02915361092f2334c6847c72a3648bcbd8856ccd.tar.gz
increment version number after tagging 4.07.1+rc1
Diffstat (limited to 'VERSION')
-rw-r--r--VERSION2
1 files changed, 1 insertions, 1 deletions
diff --git a/VERSION b/VERSION
index 41f6df57fb..32049898bc 100644
--- a/VERSION
+++ b/VERSION
@@ -1,4 +1,4 @@
-4.07.1+rc1
+4.07.1+dev2-2018-09-21
# The version string is the first line of this file.
# It must be in the format described in stdlib/sys.mli