Skip to content

rustdoc: add missing URL redirect#103588

Merged
bors merged 2 commits intorust-lang:masterfrom weihanglo:rustdoc/url-redirectOct 30, 2022