Skip to content

/ euclid

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

Use num-traits. #137

Merged
merged 1 commit into from Apr 20, 2016
Merged

Use num-traits. #137

merged 1 commit into from Apr 20, 2016

Conversation

@Ms2ger
Copy link
Contributor

Ms2ger commented Apr 20, 2016

This change is Reviewable
@Ms2ger
Use num-traits.
Loading status checks…
61ec74c
@SimonSapin
Copy link
Member

SimonSapin commented Apr 20, 2016

@bors-servo r+
@bors-servo
Copy link
Contributor

bors-servo commented Apr 20, 2016

📌 Commit 61ec74c has been approved by SimonSapin
@bors-servo
Copy link
Contributor

bors-servo commented Apr 20, 2016

⌛ Testing commit 61ec74c with merge a4226af...
bors-servo added a commit that referenced this pull request Apr 20, 2016
@bors-servo
Auto merge of #137 - servo:num, r=SimonSapin
Loading status checks…
a4226af 
Use num-traits.

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

bors-servo commented Apr 20, 2016

☀️ Test successful - travis
@bors-servo bors-servo merged commit 61ec74c into master Apr 20, 2016
2 of 3 checks passed
2 of 3 checks passed
homu Testing commit 61ec74c with merge a4226af...
Details
continuous-integration/travis-ci/pr The Travis CI build passed
Details
continuous-integration/travis-ci/push The Travis CI build passed
Details
@Ms2ger Ms2ger deleted the num branch Apr 20, 2016
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Linked issues

Successfully merging this pull request may close these issues.

None yet

3 participants
@Ms2ger @SimonSapin @bors-servo
You can’t perform that action at this time.