diff options
| author | bors-servo <metajack+bors@gmail.com> | 2015-09-27 08:19:30 -0600 |
|---|---|---|
| committer | bors-servo <metajack+bors@gmail.com> | 2015-09-27 08:19:30 -0600 |
| commit | 9523283c14f417014ca6d4fa8179c873bbb8f21f (patch) | |
| tree | d3477322f1c78a706ff1f0d41a1bdc0e07f60225 /components/net/fetch/request.rs | |
| parent | a1fb8cfbb0be8d0a73bc1e3b63eb704f48098b8f (diff) | |
| parent | 2a999151889d32d72be658a7c75405fe33d56dc2 (diff) | |
| download | servo-9523283c14f417014ca6d4fa8179c873bbb8f21f.tar.gz servo-9523283c14f417014ca6d4fa8179c873bbb8f21f.zip | |
Auto merge of #7643 - jdramani:extra_ptr_dref, r=jdm
Check for Extra pointer dereferencing
Solves issue #7640
<!-- Reviewable:start -->
[<img src="https://reviewable.io/review_button.png" height=40 alt="Review on Reviewable"/>](https://reviewable.io/reviews/servo/servo/7643)
<!-- Reviewable:end -->
Diffstat (limited to 'components/net/fetch/request.rs')
0 files changed, 0 insertions, 0 deletions