Skip to content

SRSDecl's Introduction/Organization Section: Allow the trailing sentence to be optional via Maybe rather than abusing EmptyS.#4849

Merged
JacquesCarette merged 1 commit intomainfrom
IOrgSecTrailingSentence
Mar 28, 2026
Merged

SRSDecl's Introduction/Organization Section: Allow the trailing sentence to be optional via Maybe rather than abusing EmptyS.#4849
JacquesCarette merged 1 commit intomainfrom
IOrgSecTrailingSentence

Commits

Commits on Mar 28, 2026