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)
CI: bump docker image

See merge request !151


Trivial merge