summaryrefslogtreecommitdiff
path: root/VERSION
diff options
context:
space:
mode:
authorTom Kelly <ctk21@cl.cam.ac.uk>2020-04-17 09:50:14 +0100
committerTom Kelly <ctk21@cl.cam.ac.uk>2020-04-17 09:50:14 +0100
commitc28d770ba4686b2bad202106896a0eb4eccc1ff2 (patch)
treee3e7e250997a224b74379eff5f34da1e59af7a99 /VERSION
parent3d761df20b2e3a56b834622cf6926d64085c15f6 (diff)
parent6fb33f712bdca2da7ee1dd18f49402c3203f8e1e (diff)
downloadocaml-c28d770ba4686b2bad202106896a0eb4eccc1ff2.tar.gz
Merge commit '6fb33f712bdca2da7ee1dd18f49402c3203f8e1e' into parallel_minor_gc_4_09
Diffstat (limited to 'VERSION')
-rw-r--r--VERSION2
1 files changed, 1 insertions, 1 deletions
diff --git a/VERSION b/VERSION
index f15992c078..258fd8e6b2 100644
--- a/VERSION
+++ b/VERSION
@@ -1,4 +1,4 @@
-4.08.0+multicore_dev1
+4.09.0+multicore_dev0
# The version string is the first line of this file.
# It must be in the format described in stdlib/sys.mli