Skip to content

General review#12

Open
Ben-PH wants to merge 13 commits into
mainfrom
general-review
Open

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

Conversation

@Ben-PH

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

Copy link
Copy Markdown
Contributor

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

Ben-PH commented Dec 18, 2025

Copy link
Copy Markdown
Contributor Author

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