Skip to content

fix a clippy warning#478

Merged
olirice merged 1 commit intomasterfrom fix_clippy_warningDec 26, 2023

Commits

Commits on Dec 26, 2023