Skip to content

Support old html anchors in manifest chapter.#7983

Merged
bors merged 1 commit intorust-lang:masterfrom
ehuss:fix-old-manifest-anchors
Mar 10, 2020
Merged

Support old html anchors in manifest chapter.#7983
bors merged 1 commit intorust-lang:masterfrom
ehuss:fix-old-manifest-anchors

Commits

Commits on Mar 10, 2020