Version 1.13.2

Cherry-pick commit '5363e5c9453b096900d3a9bbc37012a4ea65f754' to stable
diff --git a/tools/VERSION b/tools/VERSION
index 73cc853..6cc2096 100644
--- a/tools/VERSION
+++ b/tools/VERSION
@@ -26,6 +26,6 @@
 CHANNEL stable
 MAJOR 1
 MINOR 13
-PATCH 1
+PATCH 2
 PRERELEASE 0
 PRERELEASE_PATCH 0