Skip to content

Make options structs exhaustive#516

Merged
kivikakk merged 1 commit intokivikakk:mainfrom nicoburns:remove-non-exhaustiveJan 4, 2025

Commits

Commits on Jan 4, 2025