Skip to content

Merge pull request #778 from jannic/clippy #2190

Merge pull request #778 from jannic/clippy

Merge pull request #778 from jannic/clippy #2190

Annotations

1 warning

Run Clippy

succeeded Mar 2, 2024 in 52s