diff options
| author | bors-servo <lbergstrom+bors@mozilla.com> | 2020-01-05 10:24:00 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-01-05 10:24:00 -0500 |
| commit | 0d142bea9ae9b822c0d03d23b00dae23126a92c8 (patch) | |
| tree | 7cf69a61d1227204e7a2491845aae8b6e6899b3b /components/script/dom/htmlselectelement.rs | |
| parent | afa1b85766caeb55254b739529aef205f04d3585 (diff) | |
| parent | db5824faf8b49b6e731ff05a4d35169b2c587956 (diff) | |
| download | servo-0d142bea9ae9b822c0d03d23b00dae23126a92c8.tar.gz servo-0d142bea9ae9b822c0d03d23b00dae23126a92c8.zip | |
Auto merge of #25433 - servo-wpt-sync:wpt_update_05-01-2020, r=servo-wpt-sync
Sync WPT with upstream (05-01-2020)
Automated downstream sync of changes from upstream as of 05-01-2020.
[no-wpt-sync]
r? @servo-wpt-sync
Diffstat (limited to 'components/script/dom/htmlselectelement.rs')
0 files changed, 0 insertions, 0 deletions