chiark / gitweb /
Merge branch 'bs-updates' into 'master'
authorCiaran Gultnieks <ciaran@ciarang.com>
Fri, 27 May 2016 13:14:52 +0000 (13:14 +0000)
committerCiaran Gultnieks <ciaran@ciarang.com>
Fri, 27 May 2016 13:14:52 +0000 (13:14 +0000)
buildserver updates

See merge request !127


Trivial merge