diff options
author | bors-servo <lbergstrom+bors@mozilla.com> | 2019-08-19 14:31:42 -0400 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-08-19 14:31:42 -0400 |
commit | fb5a12159a2f7e84ac2470952078a4dafa3ce28e (patch) | |
tree | 8ba24018000d361d310ef25c8fd72c59555248a5 /components/script/webdriver_handlers.rs | |
parent | a084997afee23bb541e89a807905ff1c815a649e (diff) | |
parent | 8eb650bafd5e0b00ffe5ce816aee781e86a7fa70 (diff) | |
download | servo-fb5a12159a2f7e84ac2470952078a4dafa3ce28e.tar.gz servo-fb5a12159a2f7e84ac2470952078a4dafa3ce28e.zip |
Auto merge of #24006 - servo:dedup, r=jdm
Deduplicate idna, log, mime, mime_guess, percent-encoding, unicase, url, ws
<!-- 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/24006)
<!-- Reviewable:end -->
Diffstat (limited to 'components/script/webdriver_handlers.rs')
0 files changed, 0 insertions, 0 deletions