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