Skip to content

Fix lints#551

Merged
casey merged 1 commit intomasterfrom
clippy
Oct 3, 2025
Merged

Fix lints#551
casey merged 1 commit intomasterfrom
clippy

Conversation

@casey
Copy link
Copy Markdown
Owner

@casey casey commented Oct 3, 2025

No description provided.

@casey casey enabled auto-merge (squash) October 3, 2025 09:45
@casey casey merged commit 293a478 into master Oct 3, 2025
8 checks passed
@casey casey deleted the clippy branch October 3, 2025 09:50
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