chiark / gitweb /
Merge branch 'summarylength' into 'master'
authorDaniel Martí <mvdan@mvdan.cc>
Thu, 10 Dec 2015 11:47:48 +0000 (11:47 +0000)
committerDaniel Martí <mvdan@mvdan.cc>
Thu, 10 Dec 2015 11:47:48 +0000 (11:47 +0000)
docs: Adjust summary length

See merge request !85


Trivial merge