Skip to content

Conversation

Havvy
Copy link
Contributor

@Havvy Havvy commented Aug 4, 2018

This supersedes #353.

@Havvy
Copy link
Contributor Author

Havvy commented Aug 20, 2018

@matthewjasper Is there anything preventing this from being merged?

@Havvy Havvy added the New Content Missing features or aspects of language not currently documented. label Aug 20, 2018
@matthewjasper
Copy link
Contributor

No, I was waiting to see if anyone else has anything to say.

@matthewjasper matthewjasper merged commit d37b611 into rust-lang:master Aug 20, 2018
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
New Content Missing features or aspects of language not currently documented.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants