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

Pick up new webrender for doc build fixes #9741

Merged
merged 1 commit into from Feb 24, 2016

Conversation

larsbergstrom
Copy link
Contributor

Fixes #9704

r? @nox

Review on Reviewable

@highfive highfive added the S-awaiting-review There is new code that needs to be reviewed. label Feb 24, 2016
@nox
Copy link
Contributor

nox commented Feb 24, 2016

@bors-servo r+

@bors-servo
Copy link
Contributor

📌 Commit 1423fb5 has been approved by nox

@bors-servo
Copy link
Contributor

⌛ Testing commit 1423fb5 with merge 9ab2da3...

bors-servo pushed a commit that referenced this pull request Feb 24, 2016
Pick up new webrender for doc build fixes

Fixes #9704

r? @nox

<!-- Reviewable:start -->
[<img src="https://reviewable.io/review_button.svg" height="40" alt="Review on Reviewable"/>](https://reviewable.io/reviews/servo/servo/9741)
<!-- Reviewable:end -->
@highfive highfive added S-awaiting-merge The PR is in the process of compiling and running tests on the automated CI. and removed S-awaiting-review There is new code that needs to be reviewed. labels Feb 24, 2016
@bors-servo
Copy link
Contributor

☀️ Test successful - android, gonk, linux-dev, linux-rel, mac-dev-unit, mac-rel-css, mac-rel-wpt

@bors-servo bors-servo merged commit 1423fb5 into servo:master Feb 24, 2016
@larsbergstrom larsbergstrom deleted the update_webrender branch September 29, 2016 10:41
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
S-awaiting-merge The PR is in the process of compiling and running tests on the automated CI.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

4 participants