Version 1.11.0-dev.5.1

git cherry-pick dfd7844d2c9c0dd163e2e1299d064b7c23f83ea8
diff --git a/tools/VERSION b/tools/VERSION
index 4c22d07..e079632 100644
--- a/tools/VERSION
+++ b/tools/VERSION
@@ -28,4 +28,4 @@
 MINOR 11
 PATCH 0
 PRERELEASE 5
-PRERELEASE_PATCH 0
+PRERELEASE_PATCH 1