diff --git a/version b/version
index 4b3186f..b81c627 100644
--- a/version
+++ b/version
@@ -1 +1 @@
-version=0.7.12
+version=0.7.13