Skip to content

Comments

chore: more minor modernizations#132

Merged
henryiii merged 1 commit intomainfrom
hernyiii/chore/moreminor
Oct 3, 2024
Merged

chore: more minor modernizations#132
henryiii merged 1 commit intomainfrom
hernyiii/chore/moreminor

Conversation

@henryiii
Copy link
Member

@henryiii henryiii commented Oct 3, 2024

A few more things.

Signed-off-by: Henry Schreiner <[email protected]>
@henryiii henryiii merged commit 3284e73 into main Oct 3, 2024
@henryiii henryiii deleted the hernyiii/chore/moreminor branch October 3, 2024 05:26
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