Version 1.19.0-dev.7.2

Cherry-pick 49020b819ca13695c4adfbcd6ce1c09229a99b6c to dev
Cherry-pick c98c9c304a13caf28ea7b9de45a690503954e452 to dev
diff --git a/tools/VERSION b/tools/VERSION
index c7cc232..2fecdd8 100644
--- a/tools/VERSION
+++ b/tools/VERSION
@@ -28,4 +28,4 @@
 MINOR 19
 PATCH 0
 PRERELEASE 7
-PRERELEASE_PATCH 1
+PRERELEASE_PATCH 2