diff options
author | bors-servo <lbergstrom+bors@mozilla.com> | 2019-11-30 16:11:15 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-11-30 16:11:15 -0500 |
commit | 1dd6ad7063a5bf71a37894654a7561338c6a39bc (patch) | |
tree | 9d5cc161509221555ce99e2bb7cce501e3134076 /components/script/dom/htmlhrelement.rs | |
parent | 92bd7637a1b7efb5b3fdfb7b3eaa3be344d54a44 (diff) | |
parent | 6712e316dfdb0ef783c9f52bd336b027c187f879 (diff) | |
download | servo-1dd6ad7063a5bf71a37894654a7561338c6a39bc.tar.gz servo-1dd6ad7063a5bf71a37894654a7561338c6a39bc.zip |
Auto merge of #24978 - emilio:gecko-sync, r=emilio
style: Sync changes from mozilla-central.
See individual commits for details.
Diffstat (limited to 'components/script/dom/htmlhrelement.rs')
0 files changed, 0 insertions, 0 deletions