summaryrefslogtreecommitdiff
path: root/VERSION
diff options
context:
space:
mode:
authorDamien Doligez <damien.doligez@inria.fr>2020-04-22 17:33:19 +0200
committerDamien Doligez <damien.doligez@inria.fr>2020-04-22 17:33:19 +0200
commitea4542d81997db4651e29b26a54fa44764faa398 (patch)
tree175c464367135e2566d41a3ad89a59b21003bc7f /VERSION
parente92d13c9863cc5bcf98173efd365196b042dc7e7 (diff)
downloadocaml-ea4542d81997db4651e29b26a54fa44764faa398.tar.gz
first commit after branching 4.11.0
Diffstat (limited to 'VERSION')
-rw-r--r--VERSION2
1 files changed, 1 insertions, 1 deletions
diff --git a/VERSION b/VERSION
index 9d4ae66f7f..6b2ec51ff6 100644
--- a/VERSION
+++ b/VERSION
@@ -1,4 +1,4 @@
-4.11.0+dev1-2020-04-22
+4.12.0+dev0-2020-04-22
# The version string is the first line of this file.
# It must be in the format described in stdlib/sys.mli