From: Christian Pointner Date: Sun, 17 Jun 2018 10:32:35 +0000 (+0200) Subject: Merge pull request #20 from realraum/vm-improvements X-Git-Url: https://git.realraum.at/?p=noc.git;a=commitdiff_plain;h=e3a7398390a724363c49e8426b50cdfa28cb8142 Merge pull request #20 from realraum/vm-improvements Improvements in VM handling --- e3a7398390a724363c49e8426b50cdfa28cb8142