chiark / gitweb /
Merge branch 'master' into 'master'
authorDaniel Martí <mvdan@mvdan.cc>
Sat, 17 Dec 2016 23:19:50 +0000 (23:19 +0000)
committerDaniel Martí <mvdan@mvdan.cc>
Sat, 17 Dec 2016 23:19:50 +0000 (23:19 +0000)
Makebs: add build tools 25.0.2

See merge request !195


Trivial merge