Skip to content

Small tweaks#29

Merged
Gehock merged 3 commits intomainfrom
misc-updates
May 14, 2025
Merged

Small tweaks#29
Gehock merged 3 commits intomainfrom
misc-updates

Conversation

@Gehock
Copy link
Copy Markdown
Member

@Gehock Gehock commented May 14, 2025

A few small tweaks, broken off from #28.

@Gehock Gehock changed the title Misc updates Small tweaks May 14, 2025
@Gehock Gehock merged commit 90f962b into main May 14, 2025
2 checks passed
@Gehock Gehock deleted the misc-updates branch May 14, 2025 16:03
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