diff options
| author | bors-servo <lbergstrom+bors@mozilla.com> | 2020-01-03 14:23:21 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-01-03 14:23:21 -0500 |
| commit | 77db7ea0ee060180ed9994f235a710a1b9096b4f (patch) | |
| tree | bdaa713e9003bda8046aa57acb7705642fbbb10f /python/servo/build_commands.py | |
| parent | 2134bb15b7abdc1b9ff3025cc2e2188935da7416 (diff) | |
| parent | 155f69ce48d5d6ec09cecf9f2a6a4c6ae8454d60 (diff) | |
| download | servo-77db7ea0ee060180ed9994f235a710a1b9096b4f.tar.gz servo-77db7ea0ee060180ed9994f235a710a1b9096b4f.zip | |
Auto merge of #25393 - teapotd:option-constructor, r=jdm
Implement HTMLOptionElement named constructor
This change implements `Option` named constructor for `HTMLOptionElement`.
---
- [X] `./mach build -d` does not report any errors
- [X] `./mach test-tidy` does not report any errors
- [X] These changes fix #25380
- [X] There are tests for these changes
Diffstat (limited to 'python/servo/build_commands.py')
0 files changed, 0 insertions, 0 deletions