Skip to content

Conversation

pduzinki
Copy link
Contributor

@pduzinki pduzinki commented Oct 1, 2018

Fixes #921

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.

Thank you!

@steveklabnik steveklabnik merged commit 14cfd7d into rust-lang:master Oct 8, 2018
@steveklabnik
Copy link
Contributor

@pduzinki I've had to revert your two PRs, sorry! They broke a ton of links rust-lang/rust#55189 (comment)

@pduzinki
Copy link
Contributor Author

Oh, Ok. I’ll look into it and try to figure out what went wrong

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