]> git.lizzy.rs Git - rust.git/commitdiff
projects / rust.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 50b3dce 9f36ec0)
rollup merge of #24953: tamird/android-pie
authorAlex Crichton <alex@alexcrichton.com>
Wed, 29 Apr 2015 22:45:56 +0000 (15:45 -0700)
committerAlex Crichton <alex@alexcrichton.com>
Wed, 29 Apr 2015 22:45:56 +0000 (15:45 -0700)
This is OK to do given:
  - PIE is supported on Android starting with API 16.
  - The bots are running API 18.
  - API < 16 now has a 12.5% market share[0] as of 2015-04-29.

Closes #17437.

[0] https://developer.android.com/about/dashboards/index.html

r? @alexcrichton


Trivial merge
Empowering everyone to build reliable and efficient software.