Skip to content

Fixes #38#39

Closed
gregjesl wants to merge 1 commit into
srenevey:mainfrom
gregjesl:issues/38
Closed

Fixes #38#39
gregjesl wants to merge 1 commit into
srenevey:mainfrom
gregjesl:issues/38

Conversation

@gregjesl

@gregjesl gregjesl commented Dec 4, 2025

Copy link
Copy Markdown
Contributor

No description provided.

@gregjesl

gregjesl commented Dec 4, 2025

Copy link
Copy Markdown
Contributor Author

#40 also includes this fix, so if #40 is merged, this pull request can be closed.

@srenevey srenevey closed this Dec 8, 2025
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