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

Don’t used deprecated type alias in example #213

Merged
merged 1 commit into from Jun 13, 2017
Merged

Conversation

@SimonSapin
Copy link
Member

SimonSapin commented Jun 13, 2017

This change is Reviewable

@nical
Copy link
Collaborator

nical commented Jun 13, 2017

@bors-servo
Copy link
Contributor

bors-servo commented Jun 13, 2017

📌 Commit 3cd4629 has been approved by nical

bors-servo added a commit that referenced this pull request Jun 13, 2017
Don’t used deprecated type alias in example

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

bors-servo commented Jun 13, 2017

Testing commit 3cd4629 with merge a738346...

@bors-servo
Copy link
Contributor

bors-servo commented Jun 13, 2017

☀️ Test successful - status-travis
Approved by: nical
Pushing a738346 to master...

@bors-servo bors-servo merged commit 3cd4629 into master Jun 13, 2017
4 checks passed
4 checks passed
continuous-integration/travis-ci/pr The Travis CI build passed
Details
continuous-integration/travis-ci/push The Travis CI build passed
Details
dependency-ci Dependencies checked
Details
homu Test successful
Details
@emilio emilio deleted the SimonSapin-patch-1 branch Jun 13, 2017
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

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