Skip to content

RFC: use finish_non_exhaustive - #96

Open
elmarco wants to merge 1 commit into
mcarton:masterfrom
elmarco:non-exhaustive
Open

RFC: use finish_non_exhaustive#96
elmarco wants to merge 1 commit into
mcarton:masterfrom
elmarco:non-exhaustive

RFC: use finish_non_exhaustive

d6957c0
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs