diff options
| author | bors-servo <lbergstrom+bors@mozilla.com> | 2018-04-03 11:06:26 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-04-03 11:06:26 -0400 |
| commit | 122bfa03e1fba01dc7d52e63268a83492d994b53 (patch) | |
| tree | 2f84b348d77e39f7e521dae56b7f3eedc1883cc1 /components/script/dom/htmloptionscollection.rs | |
| parent | 6b7957d9a009af5e5b5d36df70f100a5b5b64917 (diff) | |
| parent | 585006a8089728f720ee6de18827555e4d8212e6 (diff) | |
| download | servo-122bfa03e1fba01dc7d52e63268a83492d994b53.tar.gz servo-122bfa03e1fba01dc7d52e63268a83492d994b53.zip | |
Auto merge of #20518 - servo:webgl, r=emilio
Some minor WebGL improvements
<!-- 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/20518)
<!-- Reviewable:end -->
Diffstat (limited to 'components/script/dom/htmloptionscollection.rs')
0 files changed, 0 insertions, 0 deletions