diff options
| author | bors-servo <servo-ops@mozilla.com> | 2020-11-07 09:00:21 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-11-07 09:00:21 -0500 |
| commit | 534fdd70e8a42eeb56c0c95b9b1ea1002ab9098c (patch) | |
| tree | bc62390a9703959b863017cfed795b1e7ce5f5cb /python/servo/build_commands.py | |
| parent | 0aff4e1d577620c20b850845e83d612763821216 (diff) | |
| parent | 5a86c734fcaca1b99028977e2fb0280ab84386fa (diff) | |
| download | servo-534fdd70e8a42eeb56c0c95b9b1ea1002ab9098c.tar.gz servo-534fdd70e8a42eeb56c0c95b9b1ea1002ab9098c.zip | |
Auto merge of #27742 - servo-wpt-sync:wpt_update_07-11-2020, r=servo-wpt-sync
Sync WPT with upstream (07-11-2020)
Automated downstream sync of changes from upstream as of 07-11-2020.
[no-wpt-sync]
r? @servo-wpt-sync
Diffstat (limited to 'python/servo/build_commands.py')
0 files changed, 0 insertions, 0 deletions