chiark / gitweb /
~ianmdlvl / fdroidserver.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 23ef5b0 221ec07)
Merge branch 'ci-image' into 'master'
authorDaniel Martí <mvdan@mvdan.cc>
Thu, 17 Mar 2016 14:14:45 +0000 (14:14 +0000)
committerDaniel Martí <mvdan@mvdan.cc>
Thu, 17 Mar 2016 14:14:45 +0000 (14:14 +0000)
CI: Bump image, now has -dev and gcc

Also, use a specific tag instead of "latest" to avoid breaking old
tags/commits when updating the image.

See merge request !111


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