Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Port rust-lang#672 and rust-lang#686 to Android.
I'd rather avoid the duplication, this is discussed in rust-lang#707.
- Loading branch information