summaryrefslogtreecommitdiff
path: root/VERSION
diff options
context:
space:
mode:
authorFlorian Angeletti <florian.angeletti@inria.fr>2019-10-18 18:28:57 +0200
committerFlorian Angeletti <florian.angeletti@inria.fr>2019-10-18 18:28:57 +0200
commit4ecd0e477677c4a16cc0f964d6fb85eb48fb1ff0 (patch)
tree8ee2dd5889c20f24d6d1cc9b80d5678d2ad54cba /VERSION
parentcf5cca65a1e250db491e743c66211ffc817419bd (diff)
downloadocaml-4ecd0e477677c4a16cc0f964d6fb85eb48fb1ff0.tar.gz
last commit before branching 4.10
Diffstat (limited to 'VERSION')
-rw-r--r--VERSION2
1 files changed, 1 insertions, 1 deletions
diff --git a/VERSION b/VERSION
index c209f4115f..b6b1d25ff5 100644
--- a/VERSION
+++ b/VERSION
@@ -1,4 +1,4 @@
-4.10.0+dev0-2019-04-23
+4.10.0+dev1-2019-10-18
# The version string is the first line of this file.
# It must be in the format described in stdlib/sys.mli