Skip to content

Comments

Misc small improvements#37

Merged
cossatot merged 3 commits intomasterfrom
misc_small_improvements
Feb 19, 2026
Merged

Misc small improvements#37
cossatot merged 3 commits intomasterfrom
misc_small_improvements

Conversation

@cossatot
Copy link
Contributor

No description provided.

@cossatot
Copy link
Contributor Author

fixes #32 and #33

@cossatot cossatot merged commit 18cd14f into master Feb 19, 2026
1 check failed
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.

1 participant