Skip to content

Fix Clippy lint - #2574

Merged
divergentdave merged 1 commit into
mainfrom
david/clippy
Oct 1, 2026
Merged

divergentdave merged 1 commit into
mainfrom
david/clippy

Conversation

@divergentdave

Copy link
Copy Markdown
Collaborator

This fixes one new Clippy lint surfaced when using the 1.99.0 toolchain.

@divergentdave
divergentdave requested a review from a team as a code owner October 1, 2026 17:15
@divergentdave
divergentdave enabled auto-merge (squash) October 1, 2026 17:15
@divergentdave
divergentdave merged commit 577d727 into main Oct 1, 2026
9 checks passed
@divergentdave
divergentdave deleted the david/clippy branch October 1, 2026 17: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