diff --git a/version_vm b/version_vm index 943f9cb..f8a696c 100644 --- a/version_vm +++ b/version_vm @@ -1 +1 @@ -1.7.1 +1.7.2