Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-09-30 08:39:16 +01:00
Code Issues Projects Releases Packages Wiki Activity

Auto merge of #26393 - servo-wpt-sync:wpt_update_02-05-2020, r=jdm

Browse source 
Sync WPT with upstream (02-05-2020)

Automated downstream sync of changes from upstream as of 02-05-2020.
[no-wpt-sync]
r? @servo-wpt-sync
This commit is contained in:
bors-servo 2020-05-02 11:27:48 -04:00 • committed by GitHub
commit 292d6ec588
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
114 changed files with 878 additions and 334 deletions
Download patch file Download diff file Expand all files Collapse all files

2
tests/wpt/mozilla/meta/MANIFEST.json
View file

@ -10868,7 +10868,7 @@
[]
]
},
"lint.whitelist": [
"lint.ignore": [
"314a9e5b44443be1a4e28dd3c5047a5082a7ccab",
[]
],