Skip to content

Update variable name to fix unused_variables warning#117793

Merged
bors merged 1 commit intorust-lang:masterfrom
wdunicornpro:patch-1
Dec 6, 2023
Merged

Update variable name to fix `unused_variables` warning#117793
bors merged 1 commit intorust-lang:masterfrom
wdunicornpro:patch-1

Commits

Commits on Nov 10, 2023