Skip to content

Conversation

@rchaser53
Copy link
Contributor

@rchaser53 rchaser53 commented May 30, 2019

#3595 is already resolved. Just add a test.
If this PR isn't needed, close this with #3595.

@topecongiro topecongiro merged commit 1922094 into rust-lang:master May 30, 2019
@topecongiro
Copy link
Contributor

Thanks!

@rchaser53 rchaser53 deleted the issue-3595 branch June 20, 2019 02:49
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