diff options
author | bors-servo <lbergstrom+bors@mozilla.com> | 2018-04-16 14:34:40 -0400 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-04-16 14:34:40 -0400 |
commit | be4ac6c4cd2ccfd98b0d2663845c18e29f144d88 (patch) | |
tree | 3691799db91da51d622e73733d353c5619357bd6 /components/script/dom/history.rs | |
parent | 441f1cd231b2471039e2d08b951b32f3ca06d38e (diff) | |
parent | 7403ec8b70846d07b44e1538a6086a60472efa2e (diff) | |
download | servo-be4ac6c4cd2ccfd98b0d2663845c18e29f144d88.tar.gz servo-be4ac6c4cd2ccfd98b0d2663845c18e29f144d88.zip |
Auto merge of #20647 - emilio:gecko-sync, r=emilio
style: Sync changes from mozilla-central.
Se 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/20647)
<!-- Reviewable:end -->
Diffstat (limited to 'components/script/dom/history.rs')
0 files changed, 0 insertions, 0 deletions