Skip to content

Conversation

diwic
Copy link
Contributor

@diwic diwic commented Jan 12, 2018

As suggested in rust-lang/rust#46833

@nikomatsakis
Copy link
Contributor

sgtm

Copy link
Contributor

@QuietMisdreavus QuietMisdreavus left a comment

Choose a reason for hiding this comment

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

Sounds good, let's add it!

@QuietMisdreavus QuietMisdreavus merged commit ca9c708 into rust-lang:master Jan 12, 2018
steveklabnik added a commit that referenced this pull request Jan 21, 2018
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