Skip to content

Conversation

@Bathtor
Copy link
Contributor

@Bathtor Bathtor commented Dec 10, 2024

Please make sure these boxes are checked, before submitting a new PR.

  • You ran rustfmt on the code base before submitting (on latest nightly with rustfmt support)
  • You reference which issue is being closed in the PR text (if applicable)

Issues

Other Changes

Copy link
Collaborator

@adamhass adamhass left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM.

I hope most of these changes were done by clippy and you didn't spend too much time on this 😄

@Bathtor Bathtor merged commit b10767a into kompics:master Dec 11, 2024
16 checks passed
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.

2 participants