diff --git a/version b/version
index b48ce58..55f20a1 100644
--- a/version
+++ b/version
@@ -1 +1 @@
-3.1.12
+3.1.13