Skip to content

2025-12 Codegen refresh#380

Open
mr-c wants to merge 7 commits intomainfrom
fewer_optional_ids
Open

2025-12 Codegen refresh#380
mr-c wants to merge 7 commits intomainfrom
fewer_optional_ids

Commits

Commits on Dec 16, 2025

Commits on Dec 17, 2025