summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorDamien Doligez <damien.doligez@inria.fr>2018-07-10 15:30:13 +0200
committerDamien Doligez <damien.doligez@inria.fr>2018-07-10 15:30:13 +0200
commitc7da8af15d49e10ae5792ba87fc457937eba5e2d (patch)
treed5ebbf77910e7f8c460f43fdb9ab6cee04ef2cef
parent9c9be40f9b6c55646e8f60ee7b5448c80eaa206f (diff)
downloadocaml-c7da8af15d49e10ae5792ba87fc457937eba5e2d.tar.gz
last commit before tagging 4.07.0
-rw-r--r--Changes4
-rw-r--r--VERSION2
2 files changed, 3 insertions, 3 deletions
diff --git a/Changes b/Changes
index 075f25d2d7..25976617b3 100644
--- a/Changes
+++ b/Changes
@@ -1,5 +1,5 @@
-OCaml 4.07
-----------
+OCaml 4.07.0 (10 July 2018)
+---------------------------
(Changes that can break existing programs are marked with a "*")
diff --git a/VERSION b/VERSION
index 32e0a1e48b..3bd15f9f11 100644
--- a/VERSION
+++ b/VERSION
@@ -1,4 +1,4 @@
-4.07.0+dev10-2018-06-26
+4.07.0+dev11-2018-07-10
# The version string is the first line of this file.
# It must be in the format described in stdlib/sys.mli