Skip to content

Fix naming in the lint API#120017

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