Skip to content

Improve is_lint_level code - #12375

Merged
bors merged 1 commit into
rust-lang:masterfrom
GuillaumeGomez:improve-code
Feb 28, 2024
Merged

Improve is_lint_level code#12375
bors merged 1 commit into
rust-lang:masterfrom
GuillaumeGomez:improve-code

Improve `is_lint_level` code

41a3516
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs