Skip to content

Conversation

alexcrichton
Copy link
Member

Closes #4727

bors added a commit that referenced this pull request Jun 11, 2013
bors added a commit that referenced this pull request Jun 12, 2013
@bors bors closed this Jun 12, 2013
@bors bors merged commit 78404af into rust-lang:incoming Jun 12, 2013
flip1995 pushed a commit to flip1995/rust that referenced this pull request Apr 22, 2021
Use `register_renamed` instead of `register_removed` for uplifted lints

This still applies the lint, and also adds a structured suggestion to
rename it.

changelog: Use `register_renamed` instead of `register_removed` for lints uplifted to rustc
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