Skip to content

Make some enums non_exhaustive#364

Merged
gwenn merged 1 commit intokkawakam:masterfrom gwenn:non_exhaustiveApr 13, 2020

Commits

Commits on Apr 13, 2020