diff options
author | bors-servo <lbergstrom+bors@mozilla.com> | 2019-10-31 22:01:57 -0400 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-10-31 22:01:57 -0400 |
commit | 65bcf633eae13b840f7d98805311455337b495a5 (patch) | |
tree | 618ec84f594dbbb0f6a8f103baaa1876a74d0f86 /python/servo/command_base.py | |
parent | 812ca3b4f24972dd7a528d25a2a787ff12fa526e (diff) | |
parent | e94725345beaaab47df84b7954af456e6b4893a5 (diff) | |
download | servo-65bcf633eae13b840f7d98805311455337b495a5.tar.gz servo-65bcf633eae13b840f7d98805311455337b495a5.zip |
Auto merge of #24599 - servo-wpt-sync:wpt_update_31-10-2019, r=jdm
Sync WPT with upstream (31-10-2019)
Automated downstream sync of changes from upstream as of 31-10-2019.
[no-wpt-sync]
r? @servo-wpt-sync
Diffstat (limited to 'python/servo/command_base.py')
0 files changed, 0 insertions, 0 deletions