Skip to content

Comments

Grll/issue71#72

Merged
grll merged 2 commits intomainfrom
grll/issue71
Sep 17, 2025
Merged

Grll/issue71#72
grll merged 2 commits intomainfrom
grll/issue71

Conversation

@grll
Copy link
Owner

@grll grll commented Sep 17, 2025

Fixes #71

@grll grll merged commit f505704 into main Sep 17, 2025
4 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.

Cannot take a Union of no types.

1 participant