chiark / gitweb /
Merge branch 'ci-bump' into 'master'
authorDaniel Martí <mvdan@mvdan.cc>
Mon, 22 Aug 2016 09:25:19 +0000 (09:25 +0000)
committerDaniel Martí <mvdan@mvdan.cc>
Mon, 22 Aug 2016 09:25:19 +0000 (09:25 +0000)
commit1c49c3af1d8db7317b8fe0f1743882396d2aaf6e
treee3b3c3000be3dadd7c6f83ff118db4370cc6e12e
parentbaea79f7391991701b4379f30e05a29a47abe53c
parenta006f277bca2a3db9857c2219b3adee7bead31aa
Merge branch 'ci-bump' into 'master'

CI: bump docker image

See merge request !159