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)
commitc65398cb8a7d2cb1275ccb16aee3aa5cd9c92e67
treeaa209892237256d88a64d5be04a141ba34ec09f3
parent9aacdf3fe39e9082099f040491d3bff5a9e9c041
parentf9b853ab91230ca259bf979f48f344f397242651
Merge branch 'ndk' into 'master'

makebuildserver: add ndk r16

See merge request fdroid/fdroidserver!383