Merge pull request #20 from realraum/vm-improvements
authorChristian Pointner <equinox@spreadspace.org>
Sun, 17 Jun 2018 10:32:35 +0000 (12:32 +0200)
committerGitHub <noreply@github.com>
Sun, 17 Jun 2018 10:32:35 +0000 (12:32 +0200)
Improvements in VM handling


Trivial merge