Skip to content

rustdoc: Remove footnote references from doc summary#109351

Merged
bors merged 2 commits intorust-lang:masterfrom
GuillaumeGomez:no-footnote-in-summary
Mar 20, 2023
Merged

rustdoc: Remove footnote references from doc summary#109351
bors merged 2 commits intorust-lang:masterfrom
GuillaumeGomez:no-footnote-in-summary

Commits

Commits on Mar 19, 2023