diff options
| author | bors-servo <lbergstrom+bors@mozilla.com> | 2019-09-03 13:38:47 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-09-03 13:38:47 -0400 |
| commit | 618d00be1879b52211bcded28dd6f2d0a3c64a6f (patch) | |
| tree | 02ce3ba6fb5cc093ce38824fda84ecfb0710cd59 /components/script/dom/webidls/HTMLOptionElement.webidl | |
| parent | 4f4e219e54bf43dee47af26b7e6fc0b2c8018159 (diff) | |
| parent | 33079866c19295d1b8d01bbb241b5233a0fec6a9 (diff) | |
| download | servo-618d00be1879b52211bcded28dd6f2d0a3c64a6f.tar.gz servo-618d00be1879b52211bcded28dd6f2d0a3c64a6f.zip | |
Auto merge of #24127 - servo-wpt-sync:wpt_update_03-09-2019, r=servo-wpt-sync
Sync WPT with upstream (03-09-2019)
Automated downstream sync of changes from upstream as of 03-09-2019.
[no-wpt-sync]
<!-- Reviewable:start -->
---
This change is [<img src="https://reviewable.io/review_button.svg" height="34" align="absmiddle" alt="Reviewable"/>](https://reviewable.io/reviews/servo/servo/24127)
<!-- Reviewable:end -->
Diffstat (limited to 'components/script/dom/webidls/HTMLOptionElement.webidl')
0 files changed, 0 insertions, 0 deletions