Skip to content

core: Make more types non-exhaustive#189

Merged
robin-nitrokey merged 1 commit intomainfrom exhaustiveDec 19, 2024

Commits

Commits on Dec 19, 2024