Skip to content

Conversation

@alexcrichton
Copy link
Member

It appears the cause of #5517 was fixed in 0dc6c41, so adding a test so the issue can be closed.

bors added a commit that referenced this pull request May 7, 2013
…nger

It appears the cause of #5517 was fixed in 0dc6c41, so adding a test so the issue can be closed.
@bors bors closed this May 7, 2013
@bors bors merged commit d0827e3 into rust-lang:incoming May 7, 2013
@alexcrichton alexcrichton deleted the issue-5517-add-test branch May 7, 2013 17:11
flip1995 pushed a commit to flip1995/rust that referenced this pull request Nov 3, 2020
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