Skip to content

Propagate comments from record fields to gentype output#6333

Merged
zth merged 2 commits intomasterfrom
gentype-comments
Jul 27, 2023
Merged

Propagate comments from record fields to gentype output#6333
zth merged 2 commits intomasterfrom
gentype-comments

Commits

Commits on Jul 27, 2023