Skip to content

Pedantic clippy lints#53

Merged
jayvdb merged 1 commit into
mainfrom
clippy
May 22, 2026
Merged

Pedantic clippy lints#53
jayvdb merged 1 commit into
mainfrom
clippy

Conversation

@jayvdb
Copy link
Copy Markdown
Member

@jayvdb jayvdb commented May 22, 2026

No description provided.

@jayvdb jayvdb marked this pull request as ready for review May 22, 2026 02:50
@jayvdb jayvdb requested a review from pierre-tenedero May 22, 2026 02:50
@jayvdb jayvdb merged commit e5d0d6d into main May 22, 2026
2 checks passed
@jayvdb jayvdb deleted the clippy branch May 22, 2026 04:29
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