Skip to content

Fixed a new clippy warning#661

Merged
VictorKoenders merged 1 commit intotrunkfrom fix-clippySep 15, 2023

Commits

Commits on Sep 12, 2023