diff options
author | bors-servo <lbergstrom+bors@mozilla.com> | 2015-11-21 19:44:19 +0530 |
---|---|---|
committer | bors-servo <lbergstrom+bors@mozilla.com> | 2015-11-21 19:44:19 +0530 |
commit | b8586025d2d051f4b02339c8f2af3430bb120ea8 (patch) | |
tree | 07e9227df0d0a0c841b91fd937a507250bdf0c39 /components/script/dom/htmloptgroupelement.rs | |
parent | 3eef814c4df2d3172b2ca88284a919dcd51495a9 (diff) | |
parent | 29731070b72610284f0730c2e42516c74bea39b1 (diff) | |
download | servo-b8586025d2d051f4b02339c8f2af3430bb120ea8.tar.gz servo-b8586025d2d051f4b02339c8f2af3430bb120ea8.zip |
Auto merge of #8636 - jdm:disableintermittent, r=Manishearth
Disable Document-createElement-namespace.html while #8614 is still a …
…problem.
<!-- Reviewable:start -->
[<img src="https://reviewable.io/review_button.png" height=40 alt="Review on Reviewable"/>](https://reviewable.io/reviews/servo/servo/8636)
<!-- Reviewable:end -->
Diffstat (limited to 'components/script/dom/htmloptgroupelement.rs')
0 files changed, 0 insertions, 0 deletions