Skip to content

mention lint group in default level lint note#140794

Merged
bors merged 2 commits intorust-lang:masterfrom
karolzwolak:allow-unused-doc-65464
Aug 20, 2025
Merged

mention lint group in default level lint note#140794
bors merged 2 commits intorust-lang:masterfrom
karolzwolak:allow-unused-doc-65464

Commits

Commits on Aug 19, 2025