diff options
author | bors-servo <servo-ops@mozilla.com> | 2020-05-05 11:05:22 -0400 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-05-05 11:05:22 -0400 |
commit | a237e41b89d26c86c2196cbf2a41cf2aaed5e8ed (patch) | |
tree | 42f0ac9a7a7e8b6ea78c37bfa9d705eac79ae27e /components/script/docs/JS-Servos-only-GC.md | |
parent | 5e44327325cdc92dffa40b92394e8b2b68df97e0 (diff) | |
parent | fc11b0830ed26c294c9a981f528121a75faaf792 (diff) | |
download | servo-a237e41b89d26c86c2196cbf2a41cf2aaed5e8ed.tar.gz servo-a237e41b89d26c86c2196cbf2a41cf2aaed5e8ed.zip |
Auto merge of #26427 - servo-wpt-sync:wpt_update_05-05-2020, r=jdm
Sync WPT with upstream (05-05-2020)
Automated downstream sync of changes from upstream as of 05-05-2020.
[no-wpt-sync]
r? @servo-wpt-sync
Diffstat (limited to 'components/script/docs/JS-Servos-only-GC.md')
0 files changed, 0 insertions, 0 deletions