Skip to content

Fix clippy lint#36

Merged
udoprog merged 1 commit intomasterfrom
lints
Dec 29, 2025
Merged

Fix clippy lint#36
udoprog merged 1 commit intomasterfrom
lints

Conversation

@udoprog
Copy link
Collaborator

@udoprog udoprog commented Dec 29, 2025

No description provided.

@udoprog udoprog merged commit 9c8e343 into master Dec 29, 2025
4 checks passed
@udoprog udoprog deleted the lints branch December 29, 2025 15:13
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant