diff options
| author | bors-servo <lbergstrom+bors@mozilla.com> | 2018-04-17 14:06:08 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-04-17 14:06:08 -0400 |
| commit | 087bd20b6d4e61fd54b71ed42a0ce757f993bb66 (patch) | |
| tree | d9832afccb299c9f17f28dd381863072d5ad2a97 /components/script/dom/history.rs | |
| parent | 50817554180199f67268b355e53124f55f68207a (diff) | |
| parent | a82ed50257ebafe33dac5595606a4c4e548102b2 (diff) | |
| download | servo-087bd20b6d4e61fd54b71ed42a0ce757f993bb66.tar.gz servo-087bd20b6d4e61fd54b71ed42a0ce757f993bb66.zip | |
Auto merge of #20657 - emilio:gecko-sync, r=emilio
style: Sync changes from mozilla-central.
See each individual commit from details.
Diffstat (limited to 'components/script/dom/history.rs')
0 files changed, 0 insertions, 0 deletions