Skip to content

Allow interfaces to be also annotated with external refinements#244

Merged
CatarinaGamboa merged 2 commits into
mainfrom
interface-external
Jun 8, 2026
Merged

Allow interfaces to be also annotated with external refinements#244
CatarinaGamboa merged 2 commits into
mainfrom
interface-external

Commits

Commits on Jun 2, 2026