chiark / gitweb /
Merge branch 'precommit-fixes' into 'master'
authorDaniel Martí <mvdan@mvdan.cc>
Wed, 13 Jul 2016 15:32:34 +0000 (15:32 +0000)
committerDaniel Martí <mvdan@mvdan.cc>
Wed, 13 Jul 2016 15:32:34 +0000 (15:32 +0000)
pre-commit script fixes

See merge request !145


Trivial merge