Skip to content

Reuse rustdoc's doc comment handling in Clippy#115689

Merged
bors merged 1 commit intorust-lang:masterfrom
Alexendoo:clippy-doc-comments
Sep 12, 2023
Merged

Reuse rustdoc's doc comment handling in Clippy#115689
bors merged 1 commit intorust-lang:masterfrom
Alexendoo:clippy-doc-comments

Commits

Commits on Sep 8, 2023