Skip to content

Conversation

@JakobDev
Copy link
Contributor

@JakobDev JakobDev commented Mar 3, 2023

Fixes #745

@alecthomas alecthomas merged commit 96a518b into alecthomas:master Mar 3, 2023
@JakobDev JakobDev deleted the patternmatching branch March 3, 2023 14:11
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

2 participants