Skip to content

Stabilize min_exhaustive_patterns#1

Closed
Nadrieril wants to merge 1 commit intomasterfrom
Nadrieril-patch-1
Closed

Stabilize min_exhaustive_patterns#1
Nadrieril wants to merge 1 commit intomasterfrom
Nadrieril-patch-1

Conversation

@Nadrieril
Copy link
Owner

This is a documentation change to accompany this stabilization report. It should only be merged if the stabilization gets accepted.

@Nadrieril Nadrieril closed this Mar 21, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant