Skip to content

Add new rustdoc broken_footnote lint - #137803

Closed
GuillaumeGomez wants to merge 9 commits into
rust-lang:mainfrom
GuillaumeGomez:broken-footnote
Closed

GuillaumeGomez wants to merge 9 commits into
rust-lang:mainfrom
GuillaumeGomez:broken-footnote

Commits

Commits on Aug 12, 2026