Set `renamed_and_removed_lints` back to "warn"#10

Merged

jwodder merged 1 commit intomasterfrom removed-lints

Jan 5, 2025

-1

Commits on Jan 5, 2025

Set renamed_and_removed_lints back to "warn"
jwodder
committed