Skip to content

Conversation

mikhail-m1
Copy link
Contributor

fix #35970 as part of #35233
r? @jonathandturner

Copy link
Member

@GuillaumeGomez GuillaumeGomez left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Nice work!

@sophiajt
Copy link
Contributor

Looks good :)

@bors r+ rollup

@bors
Copy link
Collaborator

bors commented Oct 25, 2016

📌 Commit 585f835 has been approved by jonathandturner

GuillaumeGomez added a commit to GuillaumeGomez/rust that referenced this pull request Oct 26, 2016
bors added a commit that referenced this pull request Oct 26, 2016
Rollup of 7 pull requests

- Successful merges: #36206, #37144, #37391, #37394, #37396, #37398, #37414
- Failed merges:
@bors bors merged commit 585f835 into rust-lang:master Oct 27, 2016
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

E0221 needs more helpful information
4 participants