chiark / gitweb /
Merge branch 'ndk14' into 'master'
authorHans-Christoph Steiner <hans@guardianproject.info>
Mon, 20 Mar 2017 09:38:58 +0000 (09:38 +0000)
committerHans-Christoph Steiner <hans@guardianproject.info>
Mon, 20 Mar 2017 09:38:58 +0000 (09:38 +0000)
makebs: add ndk r14

See merge request !231


Trivial merge