diff options
author | bors-servo <lbergstrom+bors@mozilla.com> | 2020-02-20 15:35:27 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-02-20 15:35:27 -0500 |
commit | 0633f327ca00e2603967cbb491d2e7f6d5d9a6bf (patch) | |
tree | c993d86ee6506e1427b48b2a89dfc07fd22bc944 /python/servo/build_commands.py | |
parent | b5b9732509bb66a2427be7848d9b21bc5357a4b7 (diff) | |
parent | af74a5d2cfb3b4fc77527d9927e5307babfdada1 (diff) | |
download | servo-0633f327ca00e2603967cbb491d2e7f6d5d9a6bf.tar.gz servo-0633f327ca00e2603967cbb491d2e7f6d5d9a6bf.zip |
Auto merge of #25815 - servo-wpt-sync:wpt_update_20-02-2020, r=servo-wpt-sync
Sync WPT with upstream (20-02-2020)
Automated downstream sync of changes from upstream as of 20-02-2020.
[no-wpt-sync]
r? @servo-wpt-sync
Diffstat (limited to 'python/servo/build_commands.py')
0 files changed, 0 insertions, 0 deletions