Version 1.14.1

Cherry-pick ce650790a1446f205a49714b717b844eed6196fd to stable
diff --git a/tools/VERSION b/tools/VERSION
index 39452fb..c65ef28 100644
--- a/tools/VERSION
+++ b/tools/VERSION
@@ -26,6 +26,6 @@
 CHANNEL stable
 MAJOR 1
 MINOR 14
-PATCH 0
+PATCH 1
 PRERELEASE 0
 PRERELEASE_PATCH 0