Skip to content

Move lint level source explanation to the bottom#101986

Merged
bors merged 10 commits into
rust-lang:masterfrom
WaffleLapkin:move_lint_note_to_the_bottom
Oct 1, 2022
Merged

Move lint level source explanation to the bottom#101986
bors merged 10 commits into
rust-lang:masterfrom
WaffleLapkin:move_lint_note_to_the_bottom

Remove `LintDiagnosticBuilder`

b5b3ffe
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs