Skip to content

Improve rustdoc markdown variable naming#105684

Merged
bors merged 1 commit intorust-lang:masterfrom
GuillaumeGomez:improve-rustdoc-var-name
Dec 14, 2022

Commits

Commits on Dec 13, 2022