From 7b771fa21a892e481b07ae0c456ae4b3389e744c Mon Sep 17 00:00:00 2001
From: Damien Doligez <damien.doligez@inria.fr>
Date: Mon, 1 Aug 2016 17:15:40 +0200
Subject: [PATCH] first commit after branching 4.04

---
 VERSION | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/VERSION b/VERSION
index 5561344fa..18d517510 100644
--- a/VERSION
+++ b/VERSION
@@ -1,4 +1,4 @@
-4.04.0+dev4-2016-08-01
+4.05.0+dev0-2016-08-01
 
 # The version string is the first line of this file.
 # It must be in the format described in stdlib/sys.mli