Version 2.4.1

* Cherry-pick 8b1efb2b7684e65bf77b28a51bfffe60404e5558 to stable
* Cherry-pick 5f627b7a54e32b5157cbcbfa760209cab5851252 to stable
* Cherry-pick dce0eeb4137c57b4840a05ac48af6236201ddad1 to stable
diff --git a/tools/VERSION b/tools/VERSION
index 5912f77..7eb71d3 100644
--- a/tools/VERSION
+++ b/tools/VERSION
@@ -32,7 +32,7 @@
 CHANNEL stable
 MAJOR 2
 MINOR 4
-PATCH 0
+PATCH 1
 PRERELEASE 0
 PRERELEASE_PATCH 0
 ABI_VERSION 5