Version 2.13.3

* Cherry-pick 30321de7879fca4ebf7c8606687f24c3befba1e2 to stable
* Cherry-pick f827c533156578aae356ef1b75f24a43107faca0 to stable
* Cherry-pick 05e5427800f43d0a9bac6b3a77e8e5f65c84812c to stable
diff --git a/tools/VERSION b/tools/VERSION
index 4bed353..5bfdc48 100644
--- a/tools/VERSION
+++ b/tools/VERSION
@@ -26,6 +26,6 @@
 CHANNEL stable
 MAJOR 2
 MINOR 13
-PATCH 2
+PATCH 3
 PRERELEASE 0
 PRERELEASE_PATCH 0
\ No newline at end of file