Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Disable mime_sniffing_font_context.html #9199

Merged
merged 1 commit into from Jan 8, 2016

Conversation

@nox
Copy link
Member

nox commented Jan 8, 2016

Blocked who knows how many PRs, disabling for now. See #9124.

Review on Reviewable

Blocked who knows how many PRs, disabling for now. See #9124.
@nox
Copy link
Member Author

nox commented Jan 8, 2016

@bors-servo
Copy link
Contributor

bors-servo commented Jan 8, 2016

📌 Commit 44ff672 has been approved by nox

@nox nox self-assigned this Jan 8, 2016
@nox
Copy link
Member Author

nox commented Jan 8, 2016

@bors-servo
Copy link
Contributor

bors-servo commented Jan 8, 2016

Testing commit 44ff672 with merge ba8f007...

bors-servo added a commit that referenced this pull request Jan 8, 2016
Disable mime_sniffing_font_context.html

Blocked who knows how many PRs, disabling for now. See #9124.

<!-- Reviewable:start -->
[<img src="https://reviewable.io/review_button.png" height=40 alt="Review on Reviewable"/>](https://reviewable.io/reviews/servo/servo/9199)
<!-- Reviewable:end -->
@Ms2ger
Copy link
Contributor

Ms2ger commented Jan 8, 2016

@bor-servo p=10

@Ms2ger
Copy link
Contributor

Ms2ger commented Jan 8, 2016

@bors-servo r-servo p=10

@KiChjang
Copy link
Member

KiChjang commented Jan 8, 2016

If this doesn't work, we should hand-merge this.

@bors-servo
Copy link
Contributor

bors-servo commented Jan 8, 2016

@bors-servo bors-servo merged commit 44ff672 into servo:master Jan 8, 2016
2 checks passed
2 checks passed
continuous-integration/travis-ci/pr The Travis CI build passed
Details
homu Test successful
Details
@nox nox deleted the nox:disable-mime-sniffing-font-context branch Jan 8, 2016
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Linked issues

Successfully merging this pull request may close these issues.

None yet

5 participants
You can’t perform that action at this time.