summaryrefslogtreecommitdiff
path: root/VERSION
diff options
context:
space:
mode:
authorDamien Doligez <damien.doligez@inria.fr>2017-06-23 17:32:50 +0200
committerDamien Doligez <damien.doligez@inria.fr>2017-06-23 17:55:46 +0200
commit15966dbeaacc4051ecfbf9c5ac0407b805b211b4 (patch)
tree260f10816594ef7b2f6ad404560b3af8a6a67009 /VERSION
parentac6dbd49ace4e0caf6a63507b6947ab67e4b1b78 (diff)
downloadocaml-15966dbeaacc4051ecfbf9c5ac0407b805b211b4.tar.gz
cherry-pick the fix for MPR#7557 from 4.04
Diffstat (limited to 'VERSION')
-rw-r--r--VERSION2
1 files changed, 1 insertions, 1 deletions
diff --git a/VERSION b/VERSION
index 97bf190c58..27746e31e3 100644
--- a/VERSION
+++ b/VERSION
@@ -1,4 +1,4 @@
-4.06.0+dev0-2017-02-15
+4.06.0+dev1-2017-06-23
# The version string is the first line of this file.
# It must be in the format described in stdlib/sys.mli