This repository was archived by the owner on Jan 2, 2025. It is now read-only.

fix clippy#1213

Merged

ggordonhall merged 1 commit intoprojectsfrom

Jan 26, 2024

Commits on Jan 26, 2024

fix clippy
ggordonhall
committed