Skip to content

Preserve multiline sigs when translating to RBS#972

Merged
Morriar merged 4 commits into
mainfrom
at-rbs-translate-preserve-rbs-sig
Jul 10, 2026
Merged

Preserve multiline sigs when translating to RBS#972
Morriar merged 4 commits into
mainfrom
at-rbs-translate-preserve-rbs-sig