diff options
author | bors-servo <lbergstrom+bors@mozilla.com> | 2017-10-30 07:39:00 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-10-30 07:39:00 -0500 |
commit | 26279064eb5f6a6ebf8dc97cfe45cc3c95d77276 (patch) | |
tree | 87009867c4d2417fa78719e5113cf3e4fdb8ce02 /components/script/document_loader.rs | |
parent | 1b73cf33525afbbe2d077554d1965b74ef9ae5e3 (diff) | |
parent | f060cbb38c82a29d791f44c41b5b880b56c2ed93 (diff) | |
download | servo-26279064eb5f6a6ebf8dc97cfe45cc3c95d77276.tar.gz servo-26279064eb5f6a6ebf8dc97cfe45cc3c95d77276.zip |
Auto merge of #19060 - emilio:invalidation-fishy, r=nox
style: Fix some fishiness in the invalidation code.
See individual commits for details, I think this is not observable.
<!-- 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/19060)
<!-- Reviewable:end -->
Diffstat (limited to 'components/script/document_loader.rs')
0 files changed, 0 insertions, 0 deletions