chiark / gitweb /
Merge branch 'master' into 'master'
authorDaniel Martí <mvdan@mvdan.cc>
Fri, 12 Feb 2016 09:13:53 +0000 (09:13 +0000)
committerDaniel Martí <mvdan@mvdan.cc>
Fri, 12 Feb 2016 09:13:53 +0000 (09:13 +0000)
a couple fixes

these are three fixes, one related to my previous merge request, as discussed with @mvdan in IRC

See merge request !99


Trivial merge