diff options
| author | bors-servo <lbergstrom+bors@mozilla.com> | 2018-02-13 04:54:47 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-02-13 04:54:47 -0500 |
| commit | b1d3d6f6324394f0e9f17b027fef24420d829b5c (patch) | |
| tree | da12ad096ade09fd4f89ff2b243b4eff6b69a8a9 /components/script/dom/windowproxy.rs | |
| parent | 9e64008e759a678a3971d04977c2b20b66fa8229 (diff) | |
| parent | ee25413c0fe13378e0de4b716915f572e7bbc32a (diff) | |
| download | servo-b1d3d6f6324394f0e9f17b027fef24420d829b5c.tar.gz servo-b1d3d6f6324394f0e9f17b027fef24420d829b5c.zip | |
Auto merge of #19975 - paulrouget:killbhtml, r=mbrubeck,emilio
Kill browserhtml
Fixes https://github.com/servo/servo/issues/19971
<!-- 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/19975)
<!-- Reviewable:end -->
Diffstat (limited to 'components/script/dom/windowproxy.rs')
0 files changed, 0 insertions, 0 deletions