chiark / gitweb /
Merge branch 'ndk-r15c' into 'master'
authorHans-Christoph Steiner <hans@guardianproject.info>
Tue, 15 Aug 2017 15:48:50 +0000 (15:48 +0000)
committerHans-Christoph Steiner <hans@guardianproject.info>
Tue, 15 Aug 2017 15:48:50 +0000 (15:48 +0000)
commit40b96ca60d87b56083fe17bcd6463624633d3551
tree0bd8ded1751d8618dbf4843286cbe69fd4df9522
parentc67f8e349ce13e9a742b6f1a33fb5c391b3a7279
parent6f05cf85f9b7f40b7e84001de7aed9e0a907d3a2
Merge branch 'ndk-r15c' into 'master'

makebuildserver: upgrade NDK r15b to r15c

See merge request !314