diff options
| author | bors-servo <lbergstrom+bors@mozilla.com> | 2020-01-03 07:02:31 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-01-03 07:02:31 -0500 |
| commit | ce7b3af906f5cfd8c0c5b9da3a2f7faec977e2ad (patch) | |
| tree | 538685cf73099ef44b0d5bc899318267a6ad89d0 /python/servo/build_commands.py | |
| parent | 171b543a8a7c42bd40630011fbdb3e86171fd11d (diff) | |
| parent | 8c7a20ac863bc32a5447609f9b536e8c0e01de62 (diff) | |
| download | servo-ce7b3af906f5cfd8c0c5b9da3a2f7faec977e2ad.tar.gz servo-ce7b3af906f5cfd8c0c5b9da3a2f7faec977e2ad.zip | |
Auto merge of #25416 - servo-wpt-sync:wpt_update_02-01-2020, r=jdm
Sync WPT with upstream (02-01-2020)
Automated downstream sync of changes from upstream as of 02-01-2020.
[no-wpt-sync]
r? @servo-wpt-sync
Diffstat (limited to 'python/servo/build_commands.py')
0 files changed, 0 insertions, 0 deletions