Skip to content

Remove unneeded handling for ExternalLocation::Unknown in rustdoc render context - #113697

Merged
bors merged 1 commit into
rust-lang:masterfrom
GuillaumeGomez:rm-unneeded-externallocation-handling
Jul 15, 2023
Merged

bors merged 1 commit into
rust-lang:masterfrom
GuillaumeGomez:rm-unneeded-externallocation-handling

Commits

Commits on Jul 14, 2023