diff options
| author | bors-servo <lbergstrom+bors@mozilla.com> | 2015-12-04 20:22:54 +0530 |
|---|---|---|
| committer | bors-servo <lbergstrom+bors@mozilla.com> | 2015-12-04 20:22:54 +0530 |
| commit | 9c2690347232ee6a2b16e28021e494ed17a0f274 (patch) | |
| tree | 22e72ac2ab0b94c766ab9ed7bfa2e4aa2972de0d /components/script/dom/webgltexture.rs | |
| parent | bb117abcd3fee0c3435cefd3d4f196345770ca69 (diff) | |
| parent | 367787c15551e6d90f33ecf7dd1d46f535bbc240 (diff) | |
| download | servo-9c2690347232ee6a2b16e28021e494ed17a0f274.tar.gz servo-9c2690347232ee6a2b16e28021e494ed17a0f274.zip | |
Auto merge of #8805 - Ms2ger:drain_modified_elements, r=jdm
Simplify drain_modified_elements a bit.
<!-- Reviewable:start -->
[<img src="https://reviewable.io/review_button.png" height=40 alt="Review on Reviewable"/>](https://reviewable.io/reviews/servo/servo/8805)
<!-- Reviewable:end -->
Diffstat (limited to 'components/script/dom/webgltexture.rs')
0 files changed, 0 insertions, 0 deletions