diff options
author | bors-servo <servo-ops@mozilla.com> | 2020-07-06 08:36:18 -0400 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-07-06 08:36:18 -0400 |
commit | 637c6c0aec201055a82a47e976b5d872356aaee7 (patch) | |
tree | 9a8333e0214f69adc62e61e1bd63a911951a5fb7 /python/servo/command_base.py | |
parent | 2614f7ae9b9525eb060135da586338b3861c3228 (diff) | |
parent | 1bc0233011cfbb95cfaa5ea7cc5a87ce86cc9ecf (diff) | |
download | servo-637c6c0aec201055a82a47e976b5d872356aaee7.tar.gz servo-637c6c0aec201055a82a47e976b5d872356aaee7.zip |
Auto merge of #27178 - servo-wpt-sync:wpt_update_06-07-2020, r=servo-wpt-sync
Sync WPT with upstream (06-07-2020)
Automated downstream sync of changes from upstream as of 06-07-2020.
[no-wpt-sync]
r? @servo-wpt-sync
Diffstat (limited to 'python/servo/command_base.py')
0 files changed, 0 insertions, 0 deletions