Version 1.14.0-dev.7.2

Cherry-pick 4f54e6aee5027c4303591842dcae6b0f5d2eb4f9 to dev
Cherry-pick 89121bf530b1b25686597f5b1e03c16de9ae3023 to dev
diff --git a/tools/VERSION b/tools/VERSION
index 3964b63..4c7a8a0 100644
--- a/tools/VERSION
+++ b/tools/VERSION
@@ -28,4 +28,4 @@
 MINOR 14
 PATCH 0
 PRERELEASE 7
-PRERELEASE_PATCH 1
+PRERELEASE_PATCH 2