diff options
author | bors-servo <servo-ops@mozilla.com> | 2022-12-13 04:00:38 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-12-13 04:00:38 -0500 |
commit | ba48966934c530a72f2de1f661836b8a8a91340f (patch) | |
tree | 79b3f5f8001f1eb33516bf0a0bbc5a8aa2889d02 /python/servo/bootstrap.py | |
parent | 4ae479978117ccff079fac7344b53f54653f06d5 (diff) | |
parent | f1afee3fc8d2c6069cdffb34de867fd7c8b95760 (diff) | |
download | servo-ba48966934c530a72f2de1f661836b8a8a91340f.tar.gz servo-ba48966934c530a72f2de1f661836b8a8a91340f.zip |
Auto merge of #29135 - servo:wpt_update_13-12-2022, r=jdm
Sync WPT with upstream (13-12-2022)
Automated downstream sync of changes from upstream as of 13-12-2022
[no-wpt-sync]
r? @servo-wpt-sync
Diffstat (limited to 'python/servo/bootstrap.py')
0 files changed, 0 insertions, 0 deletions