diff options
| author | bors-servo <lbergstrom+bors@mozilla.com> | 2015-12-01 00:24:03 +0530 |
|---|---|---|
| committer | bors-servo <lbergstrom+bors@mozilla.com> | 2015-12-01 00:24:03 +0530 |
| commit | 2a125b56135cdaa86b49783e8a52e9f1e9c7c126 (patch) | |
| tree | d74fa1658920ee1c5282f0289caf7987b1f082a1 /components/script/dom/htmlheadingelement.rs | |
| parent | 595bda478ebd54b8be878980852b38c61a2cef2c (diff) | |
| parent | 962c06e9dae7a3b72ff8f776d9f569a996293acd (diff) | |
| download | servo-2a125b56135cdaa86b49783e8a52e9f1e9c7c126.tar.gz servo-2a125b56135cdaa86b49783e8a52e9f1e9c7c126.zip | |
Auto merge of #8731 - eefriedman:root-lint-pattern, r=Manishearth
Fix false positive in unrooted_must_root lint.
Encountered in #8725.
<!-- Reviewable:start -->
[<img src="https://reviewable.io/review_button.png" height=40 alt="Review on Reviewable"/>](https://reviewable.io/reviews/servo/servo/8731)
<!-- Reviewable:end -->
Diffstat (limited to 'components/script/dom/htmlheadingelement.rs')
0 files changed, 0 insertions, 0 deletions