Skip to content

Conversation

Turbo87
Copy link
Member

@Turbo87 Turbo87 commented Apr 24, 2019

@kzys
Copy link
Contributor

kzys commented Apr 25, 2019

Looks good to me.

@Turbo87 Turbo87 merged commit ed21073 into rust-lang:master Apr 26, 2019
@Turbo87 Turbo87 deleted the fetch branch April 26, 2019 07:58
@bors bors mentioned this pull request Apr 26, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants