From ea4542d81997db4651e29b26a54fa44764faa398 Mon Sep 17 00:00:00 2001
From: Damien Doligez <damien.doligez@inria.fr>
Date: Wed, 22 Apr 2020 17:33:19 +0200
Subject: first commit after branching 4.11.0

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

(limited to 'VERSION')

diff --git a/VERSION b/VERSION
index 9d4ae66f7f..6b2ec51ff6 100644
--- a/VERSION
+++ b/VERSION
@@ -1,4 +1,4 @@
-4.11.0+dev1-2020-04-22
+4.12.0+dev0-2020-04-22
 
 # 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