diff --git a/version_dom0 b/version_dom0
index e6a68e91..36c5cb9e 100644
--- a/version_dom0
+++ b/version_dom0
@@ -1 +1 @@
-1.7.12
+1.7.13
diff --git a/version_vm b/version_vm
index e6a68e91..36c5cb9e 100644
--- a/version_vm
+++ b/version_vm
@@ -1 +1 @@
-1.7.12
+1.7.13