Skip to content

Make early lints translatable#124417

Merged
bors merged 12 commits into
rust-lang:masterfrom
Xiretza:translate-early-lints
May 21, 2024
Merged

Make early lints translatable#124417
bors merged 12 commits into
rust-lang:masterfrom
Xiretza:translate-early-lints

Rename buffer_lint_with_diagnostic to buffer_lint

98dd6c7
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs