Skip to content

rustdoc: some clarifying comments - #161890

Merged
rust-bors[bot] merged 1 commit into
rust-lang:mainfrom
RalfJung:rustdoc-comments
Aug 28, 2026
Merged

rustdoc: some clarifying comments#161890
rust-bors[bot] merged 1 commit into
rust-lang:mainfrom
RalfJung:rustdoc-comments