diff options
| author | bors-servo <servo-ops@mozilla.com> | 2020-07-13 06:26:59 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-07-13 06:26:59 -0400 |
| commit | d2a593faed8dc05917d82bfc5a6eb0d647a44867 (patch) | |
| tree | 5cc36a321f3b75c8c77c52218eb1f0b4e3602a06 /python/servo/package_commands.py | |
| parent | 967a70bd60abbd53f601906b84c46c4d79072cd1 (diff) | |
| parent | f2d9c37be923e43ef0625266aa0d2cac1769d153 (diff) | |
| download | servo-d2a593faed8dc05917d82bfc5a6eb0d647a44867.tar.gz servo-d2a593faed8dc05917d82bfc5a6eb0d647a44867.zip | |
Auto merge of #27249 - servo-wpt-sync:wpt_update_13-07-2020, r=servo-wpt-sync
Sync WPT with upstream (13-07-2020)
Automated downstream sync of changes from upstream as of 13-07-2020.
[no-wpt-sync]
r? @servo-wpt-sync
Diffstat (limited to 'python/servo/package_commands.py')
0 files changed, 0 insertions, 0 deletions