Skip to content

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

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