cargo dev rename_lint #7799
Description
The title says it all. I want it. Idea taken from #7762 (comment).
{{ message }}
cargo dev rename_lint #7799The title says it all. I want it. Idea taken from #7762 (comment).