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

Fixed clippy warnings from 1.65#1289

Merged

jorgecarleitao merged 2 commits intojorgecarleitao:mainfrom Xuanwo:make-clippy-happy

Nov 5, 2022

+323-325

Commits on Nov 4, 2022