Skip to content

Conversation

@huwwa
Copy link
Contributor

@huwwa huwwa commented Dec 28, 2025

Fix #174

@rexim rexim mentioned this pull request Dec 30, 2025
@rexim rexim closed this in #178 Dec 30, 2025
@rexim
Copy link
Member

rexim commented Dec 30, 2025

Included in #178. Thank you!

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.

2 participants