Repository navigation

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

Harden our Check for Common-Leading-Whitespace in Doc-Comments#829
InsertCreativityHere merged 3 commits into
icerpc:mainfrom
InsertCreativityHere:fix-doc-comment-leading-space-stripping

Commits on Sep 14, 2026
- Harden our check for common-leading-whitespace in doc-comments.
  InsertCreativityHere
  committed
  b693e7e
- Enforce that the text is purely whitespace.
  InsertCreativityHere
  committed
  6aafce9
Commits on Sep 15, 2026
- Slight simplifications here.
  InsertCreativityHere
  committed
  4339d46