Skip to content

Drop redundant pattern match - #483

Merged
KovalevDima merged 1 commit into
masterfrom
drop-redundant
Oct 17, 2026
Merged

KovalevDima merged 1 commit into
masterfrom
drop-redundant

Conversation

@KovalevDima

Copy link
Copy Markdown
Owner

No description provided.

@KovalevDima
KovalevDima merged commit 6895736 into master Oct 17, 2026
6 checks passed
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