diff options
author | bors-servo <lbergstrom+bors@mozilla.com> | 2017-06-20 08:13:05 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-06-20 08:13:05 -0700 |
commit | b50cf33efd67fe319aaccb94b476d473901c79d8 (patch) | |
tree | e1ae5f3c38e0779e1ff43c13d58e88885dbf03e2 /components/layout/webrender_helpers.rs | |
parent | fc2c5b7ef4bd7f36b6aa4e0540adc5b8ef3882c0 (diff) | |
parent | ce9cd802dece197d446a64d305c568f7f418d853 (diff) | |
download | servo-b50cf33efd67fe319aaccb94b476d473901c79d8.tar.gz servo-b50cf33efd67fe319aaccb94b476d473901c79d8.zip |
Auto merge of #17431 - emilio:restyle-hints-xbl, r=emilio
style: Cleanup after #17427, and remove extra-optimistic optimization added in #17429.
This just addresses my review comments in #17427, and removes a wrong optimization I added in #17429 thinking it was correct.
<!-- 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/17431)
<!-- Reviewable:end -->
Diffstat (limited to 'components/layout/webrender_helpers.rs')
0 files changed, 0 insertions, 0 deletions