diff options
author | bors-servo <metajack+bors@gmail.com> | 2015-10-20 17:30:57 -0600 |
---|---|---|
committer | bors-servo <metajack+bors@gmail.com> | 2015-10-20 17:30:57 -0600 |
commit | 941c06eb99533c6c1d55b4ad3b51804badf48a23 (patch) | |
tree | 8ff70c9d7c68211f3d5ba63ce82768e0feab081f /components/script/docs | |
parent | 11d23a41b31c2b2846d1e9c6b40e87ba7e2a095f (diff) | |
parent | 88991013ab8f5cf2a3b37d794fcd1699264e8f39 (diff) | |
download | servo-941c06eb99533c6c1d55b4ad3b51804badf48a23.tar.gz servo-941c06eb99533c6c1d55b4ad3b51804badf48a23.zip |
Auto merge of #8099 - Darktori:master, r=mbrubeck
Remove explicit lifetimes which can be elided
Fixes https://github.com/servo/servo/issues/8069
<!-- Reviewable:start -->
[<img src="https://reviewable.io/review_button.png" height=40 alt="Review on Reviewable"/>](https://reviewable.io/reviews/servo/servo/8099)
<!-- Reviewable:end -->
Diffstat (limited to 'components/script/docs')
0 files changed, 0 insertions, 0 deletions