From: Marcus <bubu@bubu1.eu>
Date: Wed, 14 Feb 2018 23:54:00 +0000 (+0000)
Subject: Merge branch 'fix-excessive-ndk' into 'master'
X-Git-Tag: 1.0.1~6
X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?a=commitdiff_plain;h=e6208da7ca51c9bfb7985da8f51128559de36769;p=fdroidserver.git

Merge branch 'fix-excessive-ndk' into 'master'

makebuildserver: do not provision excessive NDKs

See merge request fdroid/fdroidserver!463
---

e6208da7ca51c9bfb7985da8f51128559de36769