diff options
author | bors-servo <lbergstrom+bors@mozilla.com> | 2016-11-03 07:20:24 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2016-11-03 07:20:24 -0500 |
commit | 9fcc9d9d3f59428bf19f950bd79ab257d59e3d16 (patch) | |
tree | 5c052d34a65fc86dfe89a0ac4a47cbc9e3d587ca /components/script/dom/htmlembedelement.rs | |
parent | e3493cdd26f6faab0ddf6503ad19f0af169ad880 (diff) | |
parent | 7cb09557067417e19c1757813689e0c29d49a329 (diff) | |
download | servo-9fcc9d9d3f59428bf19f950bd79ab257d59e3d16.tar.gz servo-9fcc9d9d3f59428bf19f950bd79ab257d59e3d16.zip |
Auto merge of #13813 - nox:h5e, r=SimonSapin
Update html5ever to 0.8
<!-- 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/13813)
<!-- Reviewable:end -->
Diffstat (limited to 'components/script/dom/htmlembedelement.rs')
0 files changed, 0 insertions, 0 deletions