diff options
author | bors-servo <servo-ops@mozilla.com> | 2020-05-08 11:52:32 -0400 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-05-08 11:52:32 -0400 |
commit | 50e05a83b4067af8a3016131fdf379aec8b4887e (patch) | |
tree | 322512dfd511722bfc41ca524037b7733006681b /components/script/dom/webglsampler.rs | |
parent | 033156b96125deec10706b9e03643ce2938864a0 (diff) | |
parent | 8fcdb5657dbafab4ba279258d440c4e0930c7874 (diff) | |
download | servo-50e05a83b4067af8a3016131fdf379aec8b4887e.tar.gz servo-50e05a83b4067af8a3016131fdf379aec8b4887e.zip |
Auto merge of #26472 - servo-wpt-sync:wpt_update_08-05-2020, r=jdm
Sync WPT with upstream (08-05-2020)
Automated downstream sync of changes from upstream as of 08-05-2020.
[no-wpt-sync]
r? @servo-wpt-sync
Diffstat (limited to 'components/script/dom/webglsampler.rs')
0 files changed, 0 insertions, 0 deletions