Skip to content

Uncomment some long error explanation #37757

New issue

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

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

Already on GitHub? # to your account

Merged
merged 1 commit into from
Nov 17, 2016
Merged

Uncomment some long error explanation #37757

merged 1 commit into from
Nov 17, 2016

Conversation

GuillaumeGomez
Copy link
Member

Retry of #37058.

r? @steveklabnik
cc @brson

@brson
Copy link
Contributor

brson commented Nov 15, 2016

@bors r+

@bors
Copy link
Collaborator

bors commented Nov 15, 2016

📌 Commit e4a9d83 has been approved by brson

@GuillaumeGomez
Copy link
Member Author

@bors: rollup

GuillaumeGomez added a commit to GuillaumeGomez/rust that referenced this pull request Nov 17, 2016
GuillaumeGomez added a commit to GuillaumeGomez/rust that referenced this pull request Nov 17, 2016
bors added a commit that referenced this pull request Nov 17, 2016
Rollup of 8 pull requests

- Successful merges: #37752, #37757, #37759, #37766, #37772, #37799, #37806, #37821
- Failed merges: #37442
@bors bors merged commit e4a9d83 into master Nov 17, 2016
@GuillaumeGomez GuillaumeGomez deleted the E0002-precision branch November 18, 2016 10:19
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants