Skip to content

Remove a line that doesn't seem to be doing anything #528

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 1 commit into from
Jan 27, 2017

Conversation

carols10cents
Copy link
Member

I think this is vestigial from 1852499; it doesn't seem to have any effect that I can tell....

r? @alexcrichton

I think this is vestigial from 1852499
@alexcrichton alexcrichton merged commit 9a6eac5 into rust-lang:master Jan 27, 2017
@shepmaster shepmaster deleted the remove-unneeded-line branch April 13, 2017 13:54
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.

2 participants