diff --git a/version_dom0 b/version_dom0
index 41336a1c..fa85d4d1 100644
--- a/version_dom0
+++ b/version_dom0
@@ -1 +1 @@
-1.5.12
+1.5.13