chiark / gitweb /
Merge branch 'bump-ci' into 'master'
authorDaniel Martí <mvdan@mvdan.cc>
Mon, 1 Aug 2016 06:07:26 +0000 (06:07 +0000)
committerDaniel Martí <mvdan@mvdan.cc>
Mon, 1 Aug 2016 06:07:26 +0000 (06:07 +0000)
commit5e6b986c40cb78c1e81f2693690f01aad5ba2eba
tree8fd223c65129bb8f268e208d098960d87d6263ee
parent690711e7f8b18c27f853907250b2d5a7385bff35
parent70777233d0bf7fa97b57479bad0d73116ba3df5e
Merge branch 'bump-ci' into 'master'

CI: bump docker image

See merge request !151