diff options
| author | bors-servo <lbergstrom+bors@mozilla.com> | 2019-11-17 15:12:16 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-11-17 15:12:16 -0500 |
| commit | d1db623dfc918796ebdfd213f00690cead4cd91a (patch) | |
| tree | ee7a23b376fe0eb3677db59af1e6c2cd1a14092a /python/servo/lints/wpt_lint.py | |
| parent | a7008d1cf71c6bcdf49ce41d45178a413199c837 (diff) | |
| parent | e6e440683de2c29d482c3009a398c8b34edec7d9 (diff) | |
| download | servo-d1db623dfc918796ebdfd213f00690cead4cd91a.tar.gz servo-d1db623dfc918796ebdfd213f00690cead4cd91a.zip | |
Auto merge of #24761 - servo-wpt-sync:wpt_update_17-11-2019, r=jdm
Sync WPT with upstream (17-11-2019)
Automated downstream sync of changes from upstream as of 17-11-2019.
[no-wpt-sync]
r? @servo-wpt-sync
Diffstat (limited to 'python/servo/lints/wpt_lint.py')
0 files changed, 0 insertions, 0 deletions