chiark / gitweb /
~ianmdlvl / fdroidserver.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: baea79f a006f27)
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)
CI: bump docker image

See merge request !159


Trivial merge
Unnamed repository; edit this file 'description' to name the repository.