Skip to content

Conversation

arielb1
Copy link
Contributor

@arielb1 arielb1 commented Jan 22, 2016

Also removed an unused and similarly buggy error path.

Fixes #30535

r? @eddyb

@eddyb
Copy link
Member

eddyb commented Jan 22, 2016

@bors r+

@bors
Copy link
Collaborator

bors commented Jan 22, 2016

📌 Commit f78ce41 has been approved by eddyb

@bors
Copy link
Collaborator

bors commented Jan 23, 2016

⌛ Testing commit f78ce41 with merge 8ff48fe...

bors added a commit that referenced this pull request Jan 23, 2016
Also removed an unused and similarly buggy error path.

Fixes #30535

r? @eddyb
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