Skip to content

Unfold choice type slices when no unfolded elements match#1373

Merged
cmoesel merged 1 commit intomasterfrom cimpl-1162-unfold-more-choice-typesOct 16, 2023

Commits

Commits on Oct 12, 2023