From 914f04fa0ea7bc19ba0fefeba87f0cb9311ffaab Mon Sep 17 00:00:00 2001
From: Florian Angeletti <florian.angeletti@inria.fr>
Date: Fri, 18 Oct 2019 18:39:36 +0200
Subject: [PATCH] first commit after branching 4.10

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

diff --git a/VERSION b/VERSION
index b6b1d25ff..2462e5c2a 100644
--- a/VERSION
+++ b/VERSION
@@ -1,4 +1,4 @@
-4.10.0+dev1-2019-10-18
+4.11.0+dev0-2019-10-18
 
 # The version string is the first line of this file.
 # It must be in the format described in stdlib/sys.mli