Fix bug "match may not be exhaustive." error when compailing with 2.13.4#565

Merged

eed3si9n merged 1 commit intoeed3si9n:masterfrom PIM-Solutions:bug_match_may_not_be_exhaustive

Apr 11, 2021

+2-2

Commits on Apr 10, 2021

Fix bug "match may not be exhaustive." error when compailing with 2.13.4
kovstas
committed