Skip to content

Allow registering tool lints with register_tool#83216

Merged
bors merged 1 commit intorust-lang:masterfrom
jyn514:register-tool
Mar 18, 2021
Merged

Allow registering tool lints with `register_tool`#83216
bors merged 1 commit intorust-lang:masterfrom
jyn514:register-tool

Commits

Commits on Mar 16, 2021