diff options
author | bors-servo <servo-ops@mozilla.com> | 2020-05-10 07:17:37 -0400 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-05-10 07:17:37 -0400 |
commit | d20b7b96261774a0e841d07a5aa805b6b2ea31a1 (patch) | |
tree | 9505dd546e56f828c091179d2e2bc48c11b67ae8 /components/script/dom/webgl_extensions/ext/extfragdepth.rs | |
parent | 75fce11335f5053d93651c28377764ae37b9acff (diff) | |
parent | 354984b2bfb184a3d95d30a11ad048f2c3096f8f (diff) | |
download | servo-d20b7b96261774a0e841d07a5aa805b6b2ea31a1.tar.gz servo-d20b7b96261774a0e841d07a5aa805b6b2ea31a1.zip |
Auto merge of #26482 - servo-wpt-sync:wpt_update_10-05-2020, r=servo-wpt-sync
Sync WPT with upstream (10-05-2020)
Automated downstream sync of changes from upstream as of 10-05-2020.
[no-wpt-sync]
r? @servo-wpt-sync
Diffstat (limited to 'components/script/dom/webgl_extensions/ext/extfragdepth.rs')
0 files changed, 0 insertions, 0 deletions