chiark / gitweb /
Merge branch 'ndk' into 'master'
authorHans-Christoph Steiner <hans@guardianproject.info>
Sun, 26 Nov 2017 21:48:04 +0000 (21:48 +0000)
committerHans-Christoph Steiner <hans@guardianproject.info>
Sun, 26 Nov 2017 21:48:04 +0000 (21:48 +0000)
makebuildserver: add ndk r16

See merge request fdroid/fdroidserver!383


Trivial merge