This repository has been archived by the owner on Oct 19, 2024. It is now read-only.

chore(clippy): make clippy happy#1856

Merged

gakonst merged 1 commit intogakonst:masterfrom mattsse:matt/clippy-happy2

Nov 13, 2022

+41-29

Commits on Nov 13, 2022

chore(clippy): make clippy happy
mattsse
committed