Version 2.13.1

* Cherry-pick d9f03e9580243502b589c2577c4fd84bbb603cfd to stable
* Cherry-pick 5b64d1233b1d8c12df6ec320a237b89ee738b5f6 to stable
* Cherry-pick ec48e8f323d68717cd3fed94abd85d4f82ea1ce7 to stable
diff --git a/tools/VERSION b/tools/VERSION
index 46d7061..78eab55 100644
--- a/tools/VERSION
+++ b/tools/VERSION
@@ -26,6 +26,6 @@
 CHANNEL stable
 MAJOR 2
 MINOR 13
-PATCH 0
+PATCH 1
 PRERELEASE 0
 PRERELEASE_PATCH 0
\ No newline at end of file