diff --git a/version b/version
index e2b821e..2ceab00 100644
--- a/version
+++ b/version
@@ -1 +1 @@
-VERSION=7.1.2
+VERSION=7.1.3