Skip to content

Conversation

@jmj0502
Copy link
Contributor

@jmj0502 jmj0502 commented Jul 26, 2022

Closes #4643

@ytmimi
Copy link
Contributor

ytmimi commented Jul 26, 2022

Thanks for getting this test case in! We should be good to merge once CI passes

@jmj0502
Copy link
Contributor Author

jmj0502 commented Jul 26, 2022

@ytmimi Cool! No worries! Let me know if there's anything else I can help with c:. I'll tackle it as soon as I have some free time!

Copy link
Contributor

@ytmimi ytmimi left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks again!

@ytmimi ytmimi merged commit ed77962 into rust-lang:master Jul 26, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

2 participants