Skip to content

Conversation

@GuillaumeGomez
Copy link
Member

@Manishearth
Copy link
Member

@bors r+ rollup

@bors
Copy link
Collaborator

bors commented Oct 6, 2015

📌 Commit 7b6aabe has been approved by Manishearth

@bors
Copy link
Collaborator

bors commented Oct 7, 2015

☔ The latest upstream changes (presumably #28841) made this pull request unmergeable. Please resolve the merge conflicts.

@GuillaumeGomez
Copy link
Member Author

Updated.

@Manishearth
Copy link
Member

@bors r+ rollup

@bors
Copy link
Collaborator

bors commented Oct 7, 2015

📌 Commit a94f684 has been approved by Manishearth

steveklabnik added a commit to steveklabnik/rust that referenced this pull request Oct 7, 2015
steveklabnik added a commit to steveklabnik/rust that referenced this pull request Oct 7, 2015
bors added a commit that referenced this pull request Oct 8, 2015
@bors bors merged commit a94f684 into rust-lang:master Oct 8, 2015
@GuillaumeGomez GuillaumeGomez deleted the error_code branch October 8, 2015 14:08
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.

3 participants