Skip to content

Fix new clippy lint - #220

Merged
rmburg merged 2 commits into
mainfrom
clippy
Aug 21, 2026
Merged

Fix new clippy lint#220
rmburg merged 2 commits into
mainfrom
clippy

silence clippy lint

327a516
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
Check PR
succeeded Aug 21, 2026 in 2m 52s