diff options
| author | bors-servo <lbergstrom+bors@mozilla.com> | 2016-04-08 10:50:18 +0530 |
|---|---|---|
| committer | bors-servo <lbergstrom+bors@mozilla.com> | 2016-04-08 10:50:18 +0530 |
| commit | f31aa5cb86857a7479096e7dadf8dcac12151f76 (patch) | |
| tree | e02777922c34206350d9cf7480453ab9ef182de1 /components/script/dom/htmlselectelement.rs | |
| parent | bd2051d06a4b5f5a261b1c816c5ce9960d3e9b23 (diff) | |
| parent | efa84862af9ba2659120fa16687c8d3b294a88e2 (diff) | |
| download | servo-f31aa5cb86857a7479096e7dadf8dcac12151f76.tar.gz servo-f31aa5cb86857a7479096e7dadf8dcac12151f76.zip | |
Auto merge of #10470 - Manishearth:kill-str-string, r=KiChjang
Remove str_to_string lint
Specialization makes all of the options equally efficient.
<!-- Reviewable:start -->
---
This change is [<img src="https://reviewable.io/review_button.svg" height="35" align="absmiddle" alt="Reviewable"/>](https://reviewable.io/reviews/servo/servo/10470)
<!-- Reviewable:end -->
Diffstat (limited to 'components/script/dom/htmlselectelement.rs')
0 files changed, 0 insertions, 0 deletions