possible fix for clippy warning #233

Merged
muellerr merged 1 commits from possible-fix-for-clippy-warning into main 2025-05-19 15:15:24 +02:00

1 Commits

Author SHA1 Message Date
muellerr 4b22958b34 possible fix for clippy warning 2025-05-19 15:14:59 +02:00