Version 1.12.0-dev.5.1

Cherry-pick 0a35f7be3bc2d6dd598374c8abed6bff768c72cc to dev
Cherry-pick 7f375e3ec19b1f36cec77a2c94e1696e47804f89 to dev
Cherry-pick 13335ebf97cbdabe3b3b0c9b3a13f4ffa6fb49d4 to dev
Cherry-pick 60c7a3d0abb5df3e833e15b279a0c0ff0fd39083 to dev
diff --git a/tools/VERSION b/tools/VERSION
index 1800f31..6dd51cf 100644
--- a/tools/VERSION
+++ b/tools/VERSION
@@ -28,4 +28,4 @@
 MINOR 12
 PATCH 0
 PRERELEASE 5
-PRERELEASE_PATCH 0
+PRERELEASE_PATCH 1