Version 1.19.0-dev.7.3

Cherry-pick ca74c20f7a566761747459e38d3986de96afb28b into dev
diff --git a/tools/VERSION b/tools/VERSION
index 2fecdd8..53737b9 100644
--- a/tools/VERSION
+++ b/tools/VERSION
@@ -28,4 +28,4 @@
 MINOR 19
 PATCH 0
 PRERELEASE 7
-PRERELEASE_PATCH 2
+PRERELEASE_PATCH 3