mozilla/rust — pull request #10335 by ksh8281 (2013-11-07 10:12:48+00:00)
Title: update for ndk r9b

update for ndk r9b (#10323)

````
Android NDK, Revision 9b (October 2013)
Important changes:
Updated include/android/*h and math.h for all Android API levels up to 18,
including the addition of levels 13, 15, 16 and 17.
For information on added APIs,
see commit messages for Changes 68012 and 68014. (Issues 47150, 58528, and 38423)
````

https://android-review.googlesource.com/#/c/68014/