Skip to content

New error code #28874

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

Merged
merged 2 commits into from
Oct 8, 2015
Merged

New error code #28874

merged 2 commits into from
Oct 8, 2015

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