Skip to content

Minor clippy correction - #110

Merged
robinst merged 1 commit into
robinst:mainfrom
YGGverse:clippy
Jun 27, 2026
Merged

Minor clippy correction#110
robinst merged 1 commit into
robinst:mainfrom
YGGverse:clippy

Commits

Commits on Jun 16, 2026

  • author
    yggverse
    committed