Skip to content

Fix hidden lifetime warning#201

Closed
rib wants to merge 1 commit intomainfrom
rib/pr/fix-hidden-lifetime-warning
Closed

Fix hidden lifetime warning#201
rib wants to merge 1 commit intomainfrom
rib/pr/fix-hidden-lifetime-warning

Commits

Commits on Aug 11, 2025