From: Daniel Martí <mvdan@mvdan.cc>
Date: Thu, 5 May 2016 11:14:27 +0000 (+0000)
Subject: Merge branch 'ci-bump' into 'master'
X-Git-Tag: 0.7.0~61
X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?a=commitdiff_plain;h=736391d3d93428ffcf037325c47f75604b3fe9e2;p=fdroidserver.git

Merge branch 'ci-bump' into 'master'

CI: Bump image

This is basically just an SDK update. We're now using the tools zip,
which is about 200MB smaller. Not entirely sure why, but things still
work.

See merge request !123
---

736391d3d93428ffcf037325c47f75604b3fe9e2