diff --git a/version.txt b/version.txt
index e6a68e9..36c5cb9 100644
--- a/version.txt
+++ b/version.txt
@@ -1 +1 @@
-1.7.12
+1.7.13