Skip to content

Remove unused recoverable argument in collect_intra_doc_links#131957

Merged
bors merged 1 commit intorust-lang:masterfrom
GuillaumeGomez:rm-unused
Oct 20, 2024
Merged

Remove unused `recoverable` argument in collect_intra_doc_links#131957
bors merged 1 commit intorust-lang:masterfrom
GuillaumeGomez:rm-unused

Commits

Commits on Oct 20, 2024