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)
makebuildserver: upgrade NDK r15b to r15c

See merge request !314


Trivial merge