Skip to content

Add new rustdoc broken_footnote lint - #137803

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

Add new rustdoc broken_footnote lint#137803
GuillaumeGomez wants to merge 9 commits into
rust-lang:mainfrom
GuillaumeGomez:broken-footnote

Commits

Commits on Aug 12, 2026