Skip to content

Remove outdated information in the unreachable_pub lint description#135212

Merged
bors merged 1 commit intorust-lang:masterfrom
Urgau:unreach_pub-upd-descr
Jan 9, 2025
Merged

Remove outdated information in the `unreachable_pub` lint description#135212
bors merged 1 commit intorust-lang:masterfrom
Urgau:unreach_pub-upd-descr

Commits

Commits on Jan 7, 2025