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

Update plane-split dependency #3104

Merged
merged 1 commit into from Sep 22, 2018
Merged

Update plane-split dependency #3104

merged 1 commit into from Sep 22, 2018

Conversation

@kvark
Copy link
Member

kvark commented Sep 21, 2018

A follow-up to #3093
Fixes #3096
Meat of the fix is in servo/plane-split#22


This change is Reviewable

@kvark
Copy link
Member Author

kvark commented Sep 21, 2018

@nical
Copy link
Collaborator

nical commented Sep 22, 2018

@bors-servo
Copy link
Contributor

bors-servo commented Sep 22, 2018

📌 Commit 943d407 has been approved by nical

@bors-servo
Copy link
Contributor

bors-servo commented Sep 22, 2018

Testing commit 943d407 with merge 3f6016f...

bors-servo added a commit that referenced this pull request Sep 22, 2018
Update plane-split dependency

A follow-up to #3093
Fixes #3096
Meat of the fix is in servo/plane-split#22

<!-- Reviewable:start -->
---
This change is [<img src="https://reviewable.io/review_button.svg" height="34" align="absmiddle" alt="Reviewable"/>](https://reviewable.io/reviews/servo/webrender/3104)
<!-- Reviewable:end -->
@bors-servo
Copy link
Contributor

bors-servo commented Sep 22, 2018

☀️ Test successful - status-appveyor, status-taskcluster
Approved by: nical
Pushing 3f6016f to master...

@bors-servo bors-servo merged commit 943d407 into servo:master Sep 22, 2018
3 checks passed
3 checks passed
Taskcluster (pull_request) TaskGroup: success
Details
continuous-integration/appveyor/pr AppVeyor build succeeded
Details
homu Test successful
Details
@kvark kvark deleted the kvark:plane-update branch Sep 22, 2018
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.

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