diff options
| author | bors-servo <servo-ops@mozilla.com> | 2020-07-02 11:00:58 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-07-02 11:00:58 -0400 |
| commit | 4d60fd8ea9cb58166f9684e177404260b0401517 (patch) | |
| tree | 388378ff965c93f3ad6c16e9d9ffcc2f0b6f01bf /python/servo/devenv_commands.py | |
| parent | 3bc4a935f8d456ed26954a283c4a9857f95e5b6a (diff) | |
| parent | 5cb610749536e91f29914de627351c2cec003538 (diff) | |
| download | servo-4d60fd8ea9cb58166f9684e177404260b0401517.tar.gz servo-4d60fd8ea9cb58166f9684e177404260b0401517.zip | |
Auto merge of #27150 - servo-wpt-sync:wpt_update_02-07-2020, r=jdm
Sync WPT with upstream (02-07-2020)
Automated downstream sync of changes from upstream as of 02-07-2020.
[no-wpt-sync]
r? @servo-wpt-sync
Diffstat (limited to 'python/servo/devenv_commands.py')
0 files changed, 0 insertions, 0 deletions