Version 1.19.0-dev.7.1

Cherry-pick d4d5a48c109a4908bed944b8251f049255dfe4ac into dev
diff --git a/tools/VERSION b/tools/VERSION
index 1a31718..c7cc232 100644
--- a/tools/VERSION
+++ b/tools/VERSION
@@ -28,4 +28,4 @@
 MINOR 19
 PATCH 0
 PRERELEASE 7
-PRERELEASE_PATCH 0
+PRERELEASE_PATCH 1