chiark / gitweb /
Merge branch 'fix-ndk' into 'master'
authorCiaran Gultnieks <ciaran@ciarang.com>
Thu, 4 Aug 2016 09:16:43 +0000 (09:16 +0000)
committerCiaran Gultnieks <ciaran@ciarang.com>
Thu, 4 Aug 2016 09:16:43 +0000 (09:16 +0000)
Re-add NDK r12b and fix build-tools 24.0.1

See merge request !152


Trivial merge