diff options
| author | bors-servo <servo-ops@mozilla.com> | 2020-11-28 11:38:57 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-11-28 11:38:57 -0500 |
| commit | b482e314a131e58169bf5247dcd482a874237126 (patch) | |
| tree | 96753610c7dc58ff88633ef44cd8a9278ff5d0fa /components/script/dom/webidls/HTMLScriptElement.webidl | |
| parent | ea16440b7b2cb60bf33648b61c95cba8ccaa1dd9 (diff) | |
| parent | 33c2bfef7507e0569d200d21d6f04cc945f12c51 (diff) | |
| download | servo-b482e314a131e58169bf5247dcd482a874237126.tar.gz servo-b482e314a131e58169bf5247dcd482a874237126.zip | |
Auto merge of #27867 - servo-wpt-sync:wpt_update_28-11-2020, r=servo-wpt-sync
Sync WPT with upstream (28-11-2020)
Automated downstream sync of changes from upstream as of 28-11-2020.
[no-wpt-sync]
r? @servo-wpt-sync
Diffstat (limited to 'components/script/dom/webidls/HTMLScriptElement.webidl')
0 files changed, 0 insertions, 0 deletions