diff options
author | bors-servo <lbergstrom+bors@mozilla.com> | 2018-11-08 16:17:09 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-11-08 16:17:09 -0500 |
commit | bb2c5e387f90c2173b0513e281f4a5cebc1907e8 (patch) | |
tree | 4205f3753494c3a5fd8857dd94935db02ff1abf0 /components/script/dom/request.rs | |
parent | dd5e5e9294e51e8cbbbcd6affa54e954701a7d2e (diff) | |
parent | c96df0f8100d18eac6c2838a05f2e095903b13a0 (diff) | |
download | servo-bb2c5e387f90c2173b0513e281f4a5cebc1907e8.tar.gz servo-bb2c5e387f90c2173b0513e281f4a5cebc1907e8.zip |
Auto merge of #22143 - emilio:gecko-sync, r=jdm
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/22143)
<!-- Reviewable:end -->
Diffstat (limited to 'components/script/dom/request.rs')
0 files changed, 0 insertions, 0 deletions