Skip to content

chore: clippy warning#376

Merged
maartenflippo merged 1 commit intomainfrom
chore/clippy
Mar 13, 2026
Merged

chore: clippy warning#376
maartenflippo merged 1 commit intomainfrom
chore/clippy

Conversation

@ImkoMarijnissen
Copy link
Contributor

No description provided.

@maartenflippo maartenflippo merged commit 37d28b3 into main Mar 13, 2026
9 checks passed
@maartenflippo maartenflippo deleted the chore/clippy branch March 13, 2026 00:21
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