Skip to content

Simplify lint deprecation#13180

Merged
bors merged 3 commits intorust-lang:masterfrom
Jarcho:deprecated_shrink
Aug 5, 2024
Merged

Simplify lint deprecation#13180
bors merged 3 commits intorust-lang:masterfrom
Jarcho:deprecated_shrink

Commits

Commits on Aug 5, 2024