Skip to content
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

Err codes #35393

Merged
merged 2 commits into from
Aug 6, 2016
Merged

Err codes #35393

merged 2 commits into from
Aug 6, 2016

Conversation

GuillaumeGomez
Copy link
Member

@sophiajt
Copy link
Contributor

sophiajt commented Aug 5, 2016

@bors r+

@bors
Copy link
Contributor

bors commented Aug 5, 2016

📌 Commit a4717fa has been approved by jonathandturner

@eddyb
Copy link
Member

eddyb commented Aug 6, 2016

@bors rollup

@eddyb
Copy link
Member

eddyb commented Aug 6, 2016

@bors r- failed rollup

bors added a commit that referenced this pull request Aug 6, 2016
@GuillaumeGomez
Copy link
Member Author

Updated.

@sophiajt
Copy link
Contributor

sophiajt commented Aug 6, 2016

@bors r+ rollup

@bors
Copy link
Contributor

bors commented Aug 6, 2016

📌 Commit 4e2dd8d has been approved by jonathandturner

@bors
Copy link
Contributor

bors commented Aug 6, 2016

⌛ Testing commit 4e2dd8d with merge ddf92ff...

bors added a commit that referenced this pull request Aug 6, 2016
sophiajt pushed a commit to sophiajt/rust that referenced this pull request Aug 6, 2016
bors added a commit that referenced this pull request Aug 6, 2016
Rollup of 9 pull requests

- Successful merges: #35362, #35393, #35394, #35402, #35410, #35411, #35413, #35419, #35421
- Failed merges: #35395, #35415
@bors bors merged commit 4e2dd8d into rust-lang:master Aug 6, 2016
@GuillaumeGomez GuillaumeGomez deleted the err_codes2 branch August 6, 2016 23:27
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.

4 participants