Skip to content

fix: warn on empty line outer AttrKind::DocComment#10691

Merged
bors merged 1 commit intorust-lang:masterfrom
jdswensen:jds/fix-doc-empty-line
May 12, 2023
Merged

fix: warn on empty line outer AttrKind::DocComment#10691
bors merged 1 commit intorust-lang:masterfrom
jdswensen:jds/fix-doc-empty-line

Commits

Commits on May 11, 2023