Version 1.12.0-dev.1.1

Cherry-pick 4ec3db6947cdbb554c395d4b98196293bf7de3bc to dev
diff --git a/tools/VERSION b/tools/VERSION
index 11b57f2..e552928 100644
--- a/tools/VERSION
+++ b/tools/VERSION
@@ -28,4 +28,4 @@
 MINOR 12
 PATCH 0
 PRERELEASE 1
-PRERELEASE_PATCH 0
+PRERELEASE_PATCH 1