Skip to content

chore: fix new clippy warning#377

Merged
da2ce7 merged 1 commit intotorrust:developfrom
da2ce7:20230821_fix_clippy_warning
Aug 21, 2023
Merged

chore: fix new clippy warning#377
da2ce7 merged 1 commit intotorrust:developfrom
da2ce7:20230821_fix_clippy_warning

Commits

Commits on Aug 21, 2023