chiark / gitweb /
Merge branch 'master' into 'master'
authorDaniel Martí <mvdan@mvdan.cc>
Wed, 16 Mar 2016 13:06:31 +0000 (13:06 +0000)
committerDaniel Martí <mvdan@mvdan.cc>
Wed, 16 Mar 2016 13:06:31 +0000 (13:06 +0000)
py3 fixes for the buildserver

some fixes to get the buildserver working with the new py3 changes.  I'm assigning it to @mvdan since he did most of the py3 stuff, but @CiaranG will probably be the user of these changes.

See merge request !113


Trivial merge