Fix rustdoc warning about unclosed HTML tag#11221

bors merged 1 commit intorust-lang:masterrust-lang/cargo:masterfrom

arlosi:fixciarlosi/cargo:fixciCopy head branch name to clipboard