diff options
| author | bors-servo <lbergstrom+bors@mozilla.com> | 2018-11-17 07:31:17 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-11-17 07:31:17 -0500 |
| commit | b20fab699ed53db91b73d19fa9e49d5ea6abe399 (patch) | |
| tree | 62dbbc6378a91027c26f13325eb5d4c4da18dd29 /components/script/task_source/history_traversal.rs | |
| parent | 147688593c1bb57517564af2f1319f6331b1f44e (diff) | |
| parent | 2b89e5258f538fff63ec6ad7931a79dd5d2d71d9 (diff) | |
| download | servo-b20fab699ed53db91b73d19fa9e49d5ea6abe399.tar.gz servo-b20fab699ed53db91b73d19fa9e49d5ea6abe399.zip | |
Auto merge of #22213 - emilio:gecko-sync, r=emilio
style: Sync changes from mozilla-central.
See each individual commit for details.
https://bugzilla.mozilla.org/show_bug.cgi?id=1508026
<!-- 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/22213)
<!-- Reviewable:end -->
Diffstat (limited to 'components/script/task_source/history_traversal.rs')
0 files changed, 0 insertions, 0 deletions