summaryrefslogtreecommitdiff
path: root/VERSION
diff options
context:
space:
mode:
authorFlorian Angeletti <florian.angeletti@inria.fr>2020-02-21 14:52:13 +0100
committerFlorian Angeletti <florian.angeletti@inria.fr>2020-02-21 14:52:13 +0100
commit37c153296988f256e58bcdfa2755fd1692177edb (patch)
tree3667122beff00f138c9007b4fbde2db19727f119 /VERSION
parent9d2a531ea9738f47d6fe71c6e0a0255dda613f4b (diff)
downloadocaml-37c153296988f256e58bcdfa2755fd1692177edb.tar.gz
increment version number after tagging 4.10.0
Diffstat (limited to 'VERSION')
-rw-r--r--VERSION2
1 files changed, 1 insertions, 1 deletions
diff --git a/VERSION b/VERSION
index 98eeedd784..16d809fdd8 100644
--- a/VERSION
+++ b/VERSION
@@ -1,4 +1,4 @@
-4.10.0
+4.10.1+dev0-2020-02-21
# The version string is the first line of this file.
# It must be in the format described in stdlib/sys.mli