diff options
| author | bors-servo <servo-ops@mozilla.com> | 2020-04-16 16:35:43 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-04-16 16:35:43 -0400 |
| commit | 28299459634c5cfccce28f57f148fc31e56c1b42 (patch) | |
| tree | d6624ab2f5e6b28809f99c6ca590af193d5c72ee /components/script/dom/htmlheadingelement.rs | |
| parent | 7d3617a0d414b64d5de4d15ec5d4a5069f0a592e (diff) | |
| parent | b25865c6645dfbf0e340c4f46b11b45aa0d70f19 (diff) | |
| download | servo-28299459634c5cfccce28f57f148fc31e56c1b42.tar.gz servo-28299459634c5cfccce28f57f148fc31e56c1b42.zip | |
Auto merge of #26202 - emilio:gecko-sync, r=emilio
style: Sync changes from mozilla-central.
See individual commits for details.
https://bugzilla.mozilla.org/show_bug.cgi?id=1630676
Diffstat (limited to 'components/script/dom/htmlheadingelement.rs')
0 files changed, 0 insertions, 0 deletions