From 3b845b667621164b5d4b64fbb6e26ec28eabb5e6 Mon Sep 17 00:00:00 2001
From: Damien Doligez <damien.doligez@inria.fr>
Date: Wed, 15 Feb 2017 16:48:35 +0100
Subject: [PATCH] last commit before branching 4.05

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

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