diff options
| author | bors-servo <lbergstrom+bors@mozilla.com> | 2019-05-01 15:15:32 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-05-01 15:15:32 -0400 |
| commit | 834d3193a2ed016093b6b997d29df5a607715956 (patch) | |
| tree | 03b49fbee5c64f28b4b5cee7124dc4fb47d764c7 /components/script/dom/mod.rs | |
| parent | aa63d607174b946a4d208ec51daaac021198db20 (diff) | |
| parent | 7a95cbcf91feecdf4230ddf346dde71fa29145f8 (diff) | |
| download | servo-834d3193a2ed016093b6b997d29df5a607715956.tar.gz servo-834d3193a2ed016093b6b997d29df5a607715956.zip | |
Auto merge of #21780 - jdm:ndk15upgrade, r=asajeffrey
Upgrade NDK to v15c.
This upgrades us to a more recent NDK to address that outstanding technical debt.
<!-- Reviewable:start -->
---
This change is [<img src="https://reviewable.io/review_button.svg" height="34" align="absmiddle" alt="Reviewable"/>](https://reviewable.io/reviews/servo/servo/21780)
<!-- Reviewable:end -->
Diffstat (limited to 'components/script/dom/mod.rs')
0 files changed, 0 insertions, 0 deletions