Skip to content

Fix provenance lint renaming#738

Merged
Amanieu merged 1 commit into
rust-lang:mainfrom
clarfonthey:lints
Jul 5, 2026
Merged

Fix provenance lint renaming#738
Amanieu merged 1 commit into
rust-lang:mainfrom
clarfonthey:lints

Fix provenance lint renaming

f36b255
Select commit
Loading
Failed to load commit list.
Sign in for the full log view