diff options
author | bors-servo <lbergstrom+bors@mozilla.com> | 2018-06-23 14:43:07 -0400 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-06-23 14:43:07 -0400 |
commit | 16bdf9225dd979feeea1580f78041016ce41643f (patch) | |
tree | f487cf458fcd1f4882e289404f2988847718c89c /components/script/dom/webidls | |
parent | d70e131247fcd5fb8ad2aad98a38e61e5f738cf2 (diff) | |
parent | 895946bb186a194d1545e4782715f074cc8f8f6c (diff) | |
download | servo-16bdf9225dd979feeea1580f78041016ce41643f.tar.gz servo-16bdf9225dd979feeea1580f78041016ce41643f.zip |
Auto merge of #21088 - emilio:gecko-sync, r=emilio
style: Import changes from mozilla-central.
See each individual commit for details.
Diffstat (limited to 'components/script/dom/webidls')
0 files changed, 0 insertions, 0 deletions