Skip to content

Fix clippy issues - #29

Merged
mkaput merged 1 commit into
mainfrom
clippy
Sep 2, 2025
Merged

Fix clippy issues#29
mkaput merged 1 commit into
mainfrom
clippy

Conversation

@mkaput

@mkaput mkaput commented Sep 2, 2025

Copy link
Copy Markdown
Member

No description provided.

@mkaput
mkaput enabled auto-merge September 2, 2025 11:37
@mkaput
mkaput added this pull request to the merge queue Sep 2, 2025
Merged via the queue into main with commit c87ccba Sep 2, 2025
2 checks passed
@mkaput
mkaput deleted the clippy branch September 2, 2025 11:39
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