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)
commitf57e61821cebe12b9d39bf708a92459e61c20f7f
tree5066a25c8af55b170cdca27702015f6e65366d3d
parent8041e349573b772a849bf946ef9e4061af2537e9
parent90f547eb5d003937012cd5d1c79b2126462a5153
Merge branch 'master' into 'master'

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