Skip to content

Support old html anchors in manifest chapter.#7983

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

Commits

Commits on Mar 10, 2020