Skip to content

Harden our Check for Common-Leading-Whitespace in Doc-Comments - #829

Merged
InsertCreativityHere merged 3 commits into
icerpc:mainfrom
InsertCreativityHere:fix-doc-comment-leading-space-stripping
Sep 16, 2026
Merged

InsertCreativityHere merged 3 commits into
icerpc:mainfrom
InsertCreativityHere:fix-doc-comment-leading-space-stripping

Slight simplifications here.

4339d46
Select commit
Loading
Failed to load commit list.
Sign in for the full log view