diff options
author | bors-servo <lbergstrom+bors@mozilla.com> | 2017-10-23 19:00:24 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-10-23 19:00:24 -0500 |
commit | 69b9c221f65243562a5dc54cba45a083d1d046cc (patch) | |
tree | 6c924dda2a55d7cd33474d655b41eb290b5d2982 /components/script/dom/websocket.rs | |
parent | 0e6946fd9c279425e66721e6eb2b1e323e4c640f (diff) | |
parent | 44f16452b6437125a93bc48b872d3e54088ff34a (diff) | |
download | servo-69b9c221f65243562a5dc54cba45a083d1d046cc.tar.gz servo-69b9c221f65243562a5dc54cba45a083d1d046cc.zip |
Auto merge of #18995 - Manishearth:rm-diagnostics, r=emilio
Revert all hashmap diagnostics changes
We don't need them anymore
<!-- 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/18995)
<!-- Reviewable:end -->
Diffstat (limited to 'components/script/dom/websocket.rs')
0 files changed, 0 insertions, 0 deletions