Skip to content

Support inline records in external definitions#8304

Merged
cknitt merged 3 commits into
masterfrom
inline-records-externals
Apr 10, 2026
Merged

Support inline records in external definitions#8304
cknitt merged 3 commits into
masterfrom
inline-records-externals

Commits

Commits on Mar 18, 2026