Skip to content

Fix man page links inside option blocks.#8793

Merged
bors merged 2 commits intorust-lang:masterfrom
ehuss:fix-man-links
Oct 17, 2020
Merged

Fix man page links inside `option` blocks.#8793
bors merged 2 commits intorust-lang:masterfrom
ehuss:fix-man-links

Commits

Commits on Oct 17, 2020