Skip to content

Fix a couple of nits#318

Merged
197g merged 2 commits intomainfrom
release-0.11
Jan 5, 2026
Merged

Fix a couple of nits#318
197g merged 2 commits intomainfrom
release-0.11

Conversation

@197g
Copy link
Member

@197g 197g commented Jan 5, 2026

Closes: #241 by cherry-picking it. Thanks, sorry it took a bit 🙂

@197g 197g merged commit 234b2ba into main Jan 5, 2026
15 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.

2 participants