diff options
| author | bors-servo <lbergstrom+bors@mozilla.com> | 2018-05-21 23:35:07 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-05-21 23:35:07 -0400 |
| commit | f8a96ad5d624beac5cb86bed2c7b214fc7cf7899 (patch) | |
| tree | 52dea215e9678bf0d43d64454418eed1c923930f /components/script/dom/history.rs | |
| parent | 319556cf6a8e2717d16e4908943bbc07083ac1c7 (diff) | |
| parent | 88c980847b7bdb0572c5fd9516946733a3322eac (diff) | |
| download | servo-f8a96ad5d624beac5cb86bed2c7b214fc7cf7899.tar.gz servo-f8a96ad5d624beac5cb86bed2c7b214fc7cf7899.zip | |
Auto merge of #20729 - jdm:cleanmanifest, r=kichjang
Don't suppress the result of checking the WPT manifest.
This was a mistake I introduced in 8b378120a4cb39efcc22a4b227fbec15c1b25d63.
<!-- 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/20729)
<!-- Reviewable:end -->
Diffstat (limited to 'components/script/dom/history.rs')
0 files changed, 0 insertions, 0 deletions