Skip to content

Clean up lifetimes in rustdoc syntax highlighting#105530

Merged
bors merged 1 commit intorust-lang:masterfrom
Noratrieb:rustdoc-highlight-less-lifetimes
Dec 11, 2022

Commits

Commits on Dec 10, 2022