diff options
author | bors-servo <lbergstrom+bors@mozilla.com> | 2018-11-17 02:35:22 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-11-17 02:35:22 -0500 |
commit | 94991db14545f5f9f40573770c64bb9821a5efa3 (patch) | |
tree | 0d7067db737cced4089eb9fd1616fc3d92db8e15 /components/script/task_source/history_traversal.rs | |
parent | 679fb369241d3899997e53df873b722e519c28e9 (diff) | |
parent | af2b4dbc21596b662dcb8c428943422bc0838f4d (diff) | |
download | servo-94991db14545f5f9f40573770c64bb9821a5efa3.tar.gz servo-94991db14545f5f9f40573770c64bb9821a5efa3.zip |
Auto merge of #22202 - servo:webgl, r=jdm
Clean up some code on the WebGL texture upload paths
This doesn't actually change anything… yet.
<!-- 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/22202)
<!-- Reviewable:end -->
Diffstat (limited to 'components/script/task_source/history_traversal.rs')
0 files changed, 0 insertions, 0 deletions