Skip to content

Conversation

@Manishearth
Copy link
Member

Not useful for Rust, but might as well expose it.

@crlf0710
Copy link
Collaborator

crlf0710 commented Jan 1, 2020

r+ :)

@crlf0710 crlf0710 merged commit 0ae055e into master Jan 1, 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