chiark / gitweb /
Merge branch 'fixes-on-the-way-to-kvm' into 'master'
authorCiaran Gultnieks <ciaran@ciarang.com>
Wed, 5 Oct 2016 18:09:18 +0000 (18:09 +0000)
committerCiaran Gultnieks <ciaran@ciarang.com>
Wed, 5 Oct 2016 18:09:18 +0000 (18:09 +0000)
buildserver fixes on the way to KVM

Here are a couple of relatively basic fixes I found while working on the KVM support (merge request coming soon).

See merge request !174


Trivial merge