chiark / gitweb /
Re-add NDK r12b, now fixed.