Skip to content

Conversation

projektir
Copy link
Contributor

This should make tidy happy for rust-lang/rust#46196.

@Havvy
Copy link
Contributor

Havvy commented Nov 25, 2017

r? @steveklabnik

Copy link
Contributor

@steveklabnik steveklabnik left a comment

Choose a reason for hiding this comment

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

Thanks!

@steveklabnik steveklabnik merged commit 74dad23 into rust-lang:master Nov 27, 2017
@projektir projektir deleted the rbe-license branch December 2, 2017 06:52
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