Skip to content

Conversation

@phansch
Copy link
Contributor

@phansch phansch commented Nov 28, 2018

The last Clippy version is v0.0.212 which is what is used in the current
documentation links in the lint output. This makes sure that the redirect
works for v0.0.212, too.

Copy link
Contributor

@nrc nrc left a comment

Choose a reason for hiding this comment

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

Thanks!

@nrc nrc merged commit a957ed4 into rust-lang-nursery:master Nov 28, 2018
@phansch phansch mentioned this pull request Nov 28, 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.

2 participants