Skip to content

Quick fixes#1

Open
huanga wants to merge 2 commits intochpatton013:mainfrom
huanga:main
Open

Quick fixes#1
huanga wants to merge 2 commits intochpatton013:mainfrom
huanga:main

Conversation

@huanga
Copy link
Copy Markdown

@huanga huanga commented Dec 29, 2025

Noticed a couple of small quirks. Feel free to reject and fix directly if you don't want either of these get incorporated.

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