Skip to content

Conversation

@dtolnay
Copy link
Owner

@dtolnay dtolnay commented Aug 7, 2018

No description provided.

@alexcrichton alexcrichton merged commit 6f3be41 into dtolnay:master Aug 7, 2018
@dtolnay dtolnay deleted the badge branch August 12, 2018 06:57
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