diff --git a/version_dom0 b/version_dom0 index 90a7f602..7962dcfd 100644 --- a/version_dom0 +++ b/version_dom0 @@ -1 +1 @@ -1.3.12 +1.3.13 diff --git a/version_vm b/version_vm index e05cb332..7962dcfd 100644 --- a/version_vm +++ b/version_vm @@ -1 +1 @@ -1.3.8 +1.3.13