diff options
| author | bors-servo <infra@servo.org> | 2023-04-08 20:22:12 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-04-08 20:22:12 +0200 |
| commit | bafa68ed5992d9f75e1c8386c663b11255c81b61 (patch) | |
| tree | a97845b97918b944a5c9adcf0c34791677ee77d2 /python/servo/util.py | |
| parent | 2803edd5e1dd045509e3d7ae94a35f98261deacc (diff) | |
| parent | 8101fa563611d82e2a571decc7a0a8bd87576d3a (diff) | |
| download | servo-bafa68ed5992d9f75e1c8386c663b11255c81b61.tar.gz servo-bafa68ed5992d9f75e1c8386c663b11255c81b61.zip | |
Auto merge of #29604 - servo:wpt_update_08-04-2023, r=servo-wpt-sync
Sync WPT with upstream (08-04-2023)
Automated downstream sync of changes from upstream as of 08-04-2023
[no-wpt-sync]
r? @servo-wpt-sync
Diffstat (limited to 'python/servo/util.py')
0 files changed, 0 insertions, 0 deletions