diff options
| author | bors-servo <lbergstrom+bors@mozilla.com> | 2020-01-10 12:13:34 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-01-10 12:13:34 -0500 |
| commit | 2aae85b0a0b61350fe946f6b75ed31cd1d5ea30f (patch) | |
| tree | 48fbe1f94e82065a66f07b5a345441147e30cb1c /components/script/dom/htmloptionelement.rs | |
| parent | c6192dc286ce0496b76998c900b48cdf7cdabdfe (diff) | |
| parent | 1642347a42defdf45639bdbbf79aee10bef237f5 (diff) | |
| download | servo-2aae85b0a0b61350fe946f6b75ed31cd1d5ea30f.tar.gz servo-2aae85b0a0b61350fe946f6b75ed31cd1d5ea30f.zip | |
Auto merge of #25481 - servo-wpt-sync:wpt_update_10-01-2020, r=jdm
Sync WPT with upstream (10-01-2020)
Automated downstream sync of changes from upstream as of 10-01-2020.
[no-wpt-sync]
r? @servo-wpt-sync
Diffstat (limited to 'components/script/dom/htmloptionelement.rs')
0 files changed, 0 insertions, 0 deletions