chiark / gitweb /
Merge branch 'ci-update' into 'master'
authorDaniel Martí <mvdan@mvdan.cc>
Fri, 23 Dec 2016 17:22:35 +0000 (17:22 +0000)
committerDaniel Martí <mvdan@mvdan.cc>
Fri, 23 Dec 2016 17:22:35 +0000 (17:22 +0000)
commite1a1eada11529f3738e23d821e5d8a9e2b7a5aaa
tree2b8b4daa7d8f695e1cfb294a4cc5b5d81f77f4a6
parent87c326c401dee07c582ccd78b04ba8a768749775
parent926aafa58b2b9b5d12553da2a4110eb2d805f9be
Merge branch 'ci-update' into 'master'

Bump CI image, now with build-tools 25.0.2

See merge request !197