Version 1.13.1

Cherry-pick 3fa0cae192dce46aef1c9040e8782702aa1e2d9c to stable
Cherry-pick b837d63d47aed38ceae39b78ba4d04048475d0e5 to stable
Cherry-pick c315da5a06a6cbbe2b3424b5313254721cd40785 to stable
Cherry-pick dff13bef8de104d33b04820136da2d80f3c835d7 to stable
diff --git a/tools/VERSION b/tools/VERSION
index b920ee5..73cc853 100644
--- a/tools/VERSION
+++ b/tools/VERSION
@@ -26,6 +26,6 @@
 CHANNEL stable
 MAJOR 1
 MINOR 13
-PATCH 0
+PATCH 1
 PRERELEASE 0
 PRERELEASE_PATCH 0