diff options
author | bors-servo <lbergstrom+bors@mozilla.com> | 2018-07-01 05:14:21 -0400 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-07-01 05:14:21 -0400 |
commit | c71c55e542c57f6ec4e5e77be750f74f50340e56 (patch) | |
tree | 730aad03158a733d126d8cabe09e92792b31e05e /components/script/dom/htmlsourceelement.rs | |
parent | 9c243a115ea4983bec5e79b06c49469354cfa1f9 (diff) | |
parent | 36495d677f6e5e928c74f8eb372caaae7a303047 (diff) | |
download | servo-c71c55e542c57f6ec4e5e77be750f74f50340e56.tar.gz servo-c71c55e542c57f6ec4e5e77be750f74f50340e56.zip |
Auto merge of #21109 - emilio:gecko-sync, r=SimonSapin
style: sync changes from mozilla-central.
See each individual commit for details..
<!-- 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/21109)
<!-- Reviewable:end -->
Diffstat (limited to 'components/script/dom/htmlsourceelement.rs')
0 files changed, 0 insertions, 0 deletions