Skip to content

Remove useless Variant, use Option instead#496

Merged
bors[bot] merged 4 commits intomasterfrom
option
Apr 1, 2021
Merged

Remove useless `Variant`, use Option instead#496
bors[bot] merged 4 commits intomasterfrom
option

Commits

Commits on Mar 31, 2021