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)
commit0f708f367cb2d7aadfb513fe5af3f3c8571ef389
treebba9cc529a045f40605bf1d83059697b91844ac4
parent21404e8622b87420136bedc9bfd38af5b75221ff
parentb53e56916c23133788216589e47ddb1aac899a86
Merge branch 'precommit-fixes' into 'master'

pre-commit script fixes

See merge request !145