From: Marcus Hoffmann <bubuiic@aol.com>
Date: Sun, 27 Aug 2017 19:41:16 +0000 (+0000)
Subject: Merge branch 'mr/update_platforms_tools' into 'master'
X-Git-Tag: 0.9~101
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?a=commitdiff_plain;h=222b9251e7ec27518ecf43ac3de1c18a1694fb1d;p=fdroidserver.git

Merge branch 'mr/update_platforms_tools' into 'master'

makebuildserver: update platform and build tool releases

See merge request !317
---

222b9251e7ec27518ecf43ac3de1c18a1694fb1d