diff --git a/version b/version
index b05079e54..467d09372 100644
--- a/version
+++ b/version
@@ -1 +1 @@
-4.1.12
+4.1.13