Skip to content

Even more convenient proto generation#1039

Merged
dandavison merged 3 commits intomainfrom
dan-9994-proto-generation
Sep 4, 2025
Merged

Even more convenient proto generation#1039
dandavison merged 3 commits intomainfrom
dan-9994-proto-generation

Commits

Commits on Sep 4, 2025