diff --git a/version_dom0 b/version_dom0
index 8f8b3f72..e6a68e91 100644
--- a/version_dom0
+++ b/version_dom0
@@ -1 +1 @@
-1.7.11
+1.7.12
diff --git a/version_vm b/version_vm
index 8f8b3f72..e6a68e91 100644
--- a/version_vm
+++ b/version_vm
@@ -1 +1 @@
-1.7.11
+1.7.12