chiark / gitweb /
Merge branch 'buildtools-25.0.1' into 'master'
authorDaniel Martí <mvdan@mvdan.cc>
Thu, 1 Dec 2016 12:40:25 +0000 (12:40 +0000)
committerDaniel Martí <mvdan@mvdan.cc>
Thu, 1 Dec 2016 12:40:25 +0000 (12:40 +0000)
makebs: add buildtools 25.0.1

Please verify hash before merging.

See merge request !191


Trivial merge