Skip to content

fix clippy errors#73

Merged
Araxeus merged 4 commits intomasterfrom
fix-clippy-errors
Aug 20, 2025
Merged

fix clippy errors#73
Araxeus merged 4 commits intomasterfrom
fix-clippy-errors

Conversation

@Araxeus
Copy link
Owner

@Araxeus Araxeus commented Aug 20, 2025

all nit

@Araxeus Araxeus merged commit edab355 into master Aug 20, 2025
2 checks passed
@Araxeus Araxeus deleted the fix-clippy-errors branch August 20, 2025 21:53
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