Version 2.13.4

* Cherry-pick 4c1a153c090e6c99a30fdfa0f2e0dbb34f15df7d to stable
* Cherry-pick refs/changes/93/203293/2 to stable
* Cherry-pick af162817125f04a3a7b0a02b326550f56234b94d to stable
diff --git a/tools/VERSION b/tools/VERSION
index 5bfdc48..7ccfa87 100644
--- a/tools/VERSION
+++ b/tools/VERSION
@@ -26,6 +26,6 @@
 CHANNEL stable
 MAJOR 2
 MINOR 13
-PATCH 3
+PATCH 4
 PRERELEASE 0
 PRERELEASE_PATCH 0
\ No newline at end of file