chiark / gitweb /
makebuildserver: upgrade NDK r15b to r15c