Skip to content

Fix naming in the lint API#120017

Merged
bors merged 11 commits into
rust-lang:masterfrom
nnethercote:lint-api
Jan 23, 2024
Merged

Fix naming in the lint API#120017
bors merged 11 commits into
rust-lang:masterfrom
nnethercote:lint-api

Rename `struct_lint_level` as `lint_level`.

15a4c4f
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs