diff options
| author | bors-servo <servo-ops@mozilla.com> | 2020-11-09 17:15:19 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-11-09 17:15:19 -0500 |
| commit | 5488790be68aa03c603954f648a12b3d26139b0c (patch) | |
| tree | 87ea7df77478725c867357208a6e9b847657dfc7 /python/servo/build_commands.py | |
| parent | bbdaf2262058fde6a938ccb47266e61b388d9727 (diff) | |
| parent | 483e541b90311960d755fe6b8d83e9f57a818a9c (diff) | |
| download | servo-5488790be68aa03c603954f648a12b3d26139b0c.tar.gz servo-5488790be68aa03c603954f648a12b3d26139b0c.zip | |
Auto merge of #27745 - servo-wpt-sync:wpt_update_09-11-2020, r=servo-wpt-sync
Sync WPT with upstream (09-11-2020)
Automated downstream sync of changes from upstream as of 09-11-2020.
[no-wpt-sync]
r? @servo-wpt-sync
Diffstat (limited to 'python/servo/build_commands.py')
0 files changed, 0 insertions, 0 deletions