diff options
author | bors-servo <lbergstrom+bors@mozilla.com> | 2018-03-22 18:20:38 -0400 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-03-22 18:20:38 -0400 |
commit | eaf59ca9b9dc3bf31c95555b8d43a5d476bfd7f4 (patch) | |
tree | ba2b41bd1463cc9afdd7c553d2f1d72c4430bbce /components/script/dom/webglrenderingcontext.rs | |
parent | e5b606f6a41058bdcc5745ab0da075d0e6ed52fb (diff) | |
parent | 391d0626db747eb0ff737dc28436a576705c1566 (diff) | |
download | servo-eaf59ca9b9dc3bf31c95555b8d43a5d476bfd7f4.tar.gz servo-eaf59ca9b9dc3bf31c95555b8d43a5d476bfd7f4.zip |
Auto merge of #20390 - jdm:android-layout-workaround, r=emilio
Don't OOM when laying out basic web pages on Android
This is a workaround for the symptom described in https://github.com/servo/servo/issues/20149#issuecomment-375366991 which looks like either a standard library or compiler bug. My release android build can load all sorts of web pages as expected with this change.
<!-- 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/20390)
<!-- Reviewable:end -->
Diffstat (limited to 'components/script/dom/webglrenderingcontext.rs')
0 files changed, 0 insertions, 0 deletions