From 10c8e77bbfdc87622e3a99fd07c1b4fe935f7a7f Mon Sep 17 00:00:00 2001
From: Damien Doligez <damien.doligez@inria.fr>
Date: Mon, 18 Sep 2017 17:44:15 +0200
Subject: last commit before branching 4.06

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

(limited to 'VERSION')

diff --git a/VERSION b/VERSION
index 27746e31e3..19458159b8 100644
--- a/VERSION
+++ b/VERSION
@@ -1,4 +1,4 @@
-4.06.0+dev1-2017-06-23
+4.06.0+dev2-2017-09-18
 
 # The version string is the first line of this file.
 # It must be in the format described in stdlib/sys.mli
-- 
cgit v1.2.1