Version 1.13.0-dev.7.1

Cherry-pick d2b1edb695e35455ca0f5735385c66e4c3e397db to dev
Cherry-pick a30bcd7b97c5d4704b27c99ba9cf8d85b527bb83 to dev
Cherry-pick a8e3eb4e101e914a47ac3a188fbbc214cc206595 to dev
diff --git a/tools/VERSION b/tools/VERSION
index 2e0ad90..fb4794f 100644
--- a/tools/VERSION
+++ b/tools/VERSION
@@ -28,4 +28,4 @@
 MINOR 13
 PATCH 0
 PRERELEASE 7
-PRERELEASE_PATCH 0
+PRERELEASE_PATCH 1