Skip to content

rustdoc & doc: no shortcut for rel="icon"#93418

Merged
bors merged 2 commits into
rust-lang:masterfrom
ojeda:no-shortcut
Mar 4, 2022
Merged

rustdoc & doc: no shortcut for rel="icon"#93418
bors merged 2 commits into
rust-lang:masterfrom
ojeda:no-shortcut

Commits

Commits on Jan 28, 2022