chiark / gitweb /
Merge branch 'master' into 'master'
authorDaniel Martí <mvdan@mvdan.cc>
Mon, 14 Mar 2016 12:54:10 +0000 (12:54 +0000)
committerDaniel Martí <mvdan@mvdan.cc>
Mon, 14 Mar 2016 12:54:10 +0000 (12:54 +0000)
commitc1ac6f4e8880d034521f38930b3c3bc17efc10a2
tree7eb66cce294d6d020658a8e08b4fdb1917d662de
parentbc131856d2ffc31da6606179bc2bbf4ba7b21f2e
parentaa0ea4646517716f7198ea5c5331123c4bdabb6e
Merge branch 'master' into 'master'

post-py3 fixes

This is a collection of fixes related to running on py3 on various platforms.

See merge request !110