Skip to content

Prevent <> links to be interpreted for intra-doc links#96187

Merged
bors merged 1 commit intorust-lang:masterfrom
GuillaumeGomez:potential-intra-doc-links-filtering
Apr 20, 2022
Merged

Prevent `<>` links to be interpreted for intra-doc links#96187
bors merged 1 commit intorust-lang:masterfrom
GuillaumeGomez:potential-intra-doc-links-filtering

Commits

Commits on Apr 20, 2022