chiark / gitweb /
Merge branch 'master' into verbose-rewrite
authorDaniel Martí <mvdan@mvdan.cc>
Sun, 3 Nov 2013 10:53:36 +0000 (11:53 +0100)
committerDaniel Martí <mvdan@mvdan.cc>
Sun, 3 Nov 2013 10:53:36 +0000 (11:53 +0100)

Trivial merge