Version 1.12.1

Cherry-pick ef2581a87829cfe79aafa4f15c79fdecede857d9 to stable
Cherry-pick fe5550e934591380f7bb7c926f6f8dc7dc16f199 to stable
diff --git a/tools/VERSION b/tools/VERSION
index efd0bae..b2ec447 100644
--- a/tools/VERSION
+++ b/tools/VERSION
@@ -26,6 +26,6 @@
 CHANNEL stable
 MAJOR 1
 MINOR 12
-PATCH 0
+PATCH 1
 PRERELEASE 0
 PRERELEASE_PATCH 0