Skip to content

Conversation

@Sinha-Ujjawal
Copy link
Contributor

No description provided.

@rexim rexim mentioned this pull request Jan 7, 2026
@rexim rexim closed this in #192 Jan 7, 2026
@rexim
Copy link
Member

rexim commented Jan 7, 2026

Oh, that's clever! Thank you! Committed at 8d85e7f

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