Skip to content

Simplify enums a little#1566

Merged
mgeisler merged 2 commits intomainfrom mgeisler-patch-1Dec 7, 2023

Commits

Commits on Dec 7, 2023