Skip to content

Support new encodings for enums#42

Merged
ThomasDebrunner merged 2 commits intomainfrom
new-enum-encoding
Mar 14, 2024
Merged

Support new encodings for enums#42
ThomasDebrunner merged 2 commits intomainfrom
new-enum-encoding