Skip to content

General review#12

Open
Ben-PH wants to merge 13 commits intomainfrom
general-review
Open

General review#12
Ben-PH wants to merge 13 commits intomainfrom
general-review

Conversation

@Ben-PH
Copy link
Copy Markdown
Contributor

@Ben-PH Ben-PH commented Dec 18, 2025

This is a WIP review relating to #5

@Ben-PH Ben-PH marked this pull request as ready for review December 18, 2025 14:47
@Ben-PH
Copy link
Copy Markdown
Contributor Author

Ben-PH commented Dec 18, 2025

Recommend this PR be reviewed commit by commit (each one is relatively small), and merged with a squash.

don't inclsude a cargo-fmt, as that would distract to the changes being made.

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