Version 1.13.0-dev.3.1

Cherry-pick 8e68b67430a3c29c86711e2a4534e5c831ede3e8 to dev
Cherry-pick 1390b664cbc1674fb828dc772431fa7957c4f5e9 to dev
Cherry-pick a580bafc5de1ff9a66d642fa92f5eb85fb2f1a31 to dev
diff --git a/tools/VERSION b/tools/VERSION
index 593aeba..19d22f0 100644
--- a/tools/VERSION
+++ b/tools/VERSION
@@ -28,4 +28,4 @@
 MINOR 13
 PATCH 0
 PRERELEASE 3
-PRERELEASE_PATCH 0
+PRERELEASE_PATCH 1