diff options
| author | bors-servo <servo-ops@mozilla.com> | 2020-05-09 07:10:58 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-05-09 07:10:58 -0400 |
| commit | 75fce11335f5053d93651c28377764ae37b9acff (patch) | |
| tree | c804e32b14a13635942009faa0a8e1a27cf881b8 /components/script/dom/webgl_extensions | |
| parent | 536c60afe197a98a836b1a5740ac0b25210dbd6c (diff) | |
| parent | f05c81363446d427dc38aa612cc929c44300066b (diff) | |
| download | servo-75fce11335f5053d93651c28377764ae37b9acff.tar.gz servo-75fce11335f5053d93651c28377764ae37b9acff.zip | |
Auto merge of #26478 - servo-wpt-sync:wpt_update_09-05-2020, r=servo-wpt-sync
Sync WPT with upstream (09-05-2020)
Automated downstream sync of changes from upstream as of 09-05-2020.
[no-wpt-sync]
r? @servo-wpt-sync
Diffstat (limited to 'components/script/dom/webgl_extensions')
0 files changed, 0 insertions, 0 deletions