Skip to content
This repository was archived by the owner on May 23, 2024. It is now read-only.

Add issue 71202 #334

Merged
merged 1 commit into from
Apr 16, 2020
Merged

Add issue 71202 #334

merged 1 commit into from
Apr 16, 2020

Conversation

burtonageo
Copy link
Contributor

Copy link
Member

@JohnTitor JohnTitor left a comment

Choose a reason for hiding this comment

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

Thanks!

@JohnTitor JohnTitor merged commit a0a1e73 into rust-lang:master Apr 16, 2020
@burtonageo burtonageo deleted the 71202 branch April 16, 2020 17:30
# for free to subscribe to this conversation on GitHub. Already have an account? #.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants