From: Daniel Martí <mvdan@mvdan.cc>
Date: Thu, 17 Mar 2016 14:14:45 +0000 (+0000)
Subject: Merge branch 'ci-image' into 'master'
X-Git-Tag: 0.7.0~77
X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?a=commitdiff_plain;h=a6d408182261fcf1ca55136324baceefe84b63a8;p=fdroidserver.git

Merge branch 'ci-image' into 'master'

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
---

a6d408182261fcf1ca55136324baceefe84b63a8