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)
commit87c326c401dee07c582ccd78b04ba8a768749775
treebddbd526682f8571031413cf1257c854fc64b905
parent7c8823e94e37b6a6629cf1de0aed73fc92d58ad8
parentd6da0a283db1f579c884f12effacb7a6b129aa10
Merge branch 'master' into 'master'

Makebs: add build tools 25.0.2

See merge request !195