chiark / gitweb /
Merge branch 'master' into 'master'
authorCiaran Gultnieks <ciaran@ciarang.com>
Thu, 3 Apr 2014 16:51:15 +0000 (16:51 +0000)
committerCiaran Gultnieks <ciaran@ciarang.com>
Thu, 3 Apr 2014 16:51:15 +0000 (16:51 +0000)
build and test fixes

various fixes for the build process and tests


Trivial merge