Skip to content

properly position annotation on qualified record declarations#54

Merged
compnerd merged 1 commit into
compnerd:mainfrom
andrurogerz:qualified-record-name
May 8, 2025
Merged

properly position annotation on qualified record declarations#54
compnerd merged 1 commit into
compnerd:mainfrom
andrurogerz:qualified-record-name

Commits

Commits on May 7, 2025