diff options
| author | bors-servo <servo-ops@mozilla.com> | 2020-07-19 11:28:59 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-07-19 11:28:59 -0400 |
| commit | bfb7bea704340e19583b04fb02b444fadd35e9e1 (patch) | |
| tree | 86ac0c748b21b72607371f18a0c7eef3bd1b4c3d /resources | |
| parent | 086556e706bbb65790e7fb9a918bf7e8051171e0 (diff) | |
| parent | 7538680b80cc68b85d8c51d216640b096a365991 (diff) | |
| download | servo-bfb7bea704340e19583b04fb02b444fadd35e9e1.tar.gz servo-bfb7bea704340e19583b04fb02b444fadd35e9e1.zip | |
Auto merge of #27320 - servo-wpt-sync:wpt_update_19-07-2020, r=jdm
Sync WPT with upstream (19-07-2020)
Automated downstream sync of changes from upstream as of 19-07-2020.
[no-wpt-sync]
r? @servo-wpt-sync
Diffstat (limited to 'resources')
0 files changed, 0 insertions, 0 deletions