summaryrefslogtreecommitdiff
path: root/VERSION
diff options
context:
space:
mode:
authorDamien Doligez <damien.doligez@inria.fr>2016-08-01 17:13:37 +0200
committerDamien Doligez <damien.doligez@inria.fr>2016-08-01 17:13:37 +0200
commit2533546cefb5b35c18aeea2625984eb379dc1e17 (patch)
treee4346870c0d1eefd39f4ae18b1c547cd8effc78e /VERSION
parent40c4e45bd4c1b4e41678b06afe6156ad69372160 (diff)
downloadocaml-2533546cefb5b35c18aeea2625984eb379dc1e17.tar.gz
last commit before branching 4.04
Diffstat (limited to 'VERSION')
-rw-r--r--VERSION2
1 files changed, 1 insertions, 1 deletions
diff --git a/VERSION b/VERSION
index c78bbf6ff6..5561344fa7 100644
--- a/VERSION
+++ b/VERSION
@@ -1,4 +1,4 @@
-4.04.0+dev3-2016-07-07
+4.04.0+dev4-2016-08-01
# The version string is the first line of this file.
# It must be in the format described in stdlib/sys.mli