Skip to content

Distinguish incorporation-by-reference from truncation in undersize section warnings (#927) - #959

Merged
dgunning merged 1 commit into
dgunning:mainfrom
RISHIKKASULA:warn-incorporation-by-reference-sections
Aug 22, 2026
Merged

dgunning merged 1 commit into
dgunning:mainfrom
RISHIKKASULA:warn-incorporation-by-reference-sections

Commits

Commits on Aug 6, 2026