closure param name tweak #153

Merged
muellerr merged 1 commits from small-example-tweak into main 2024-04-10 17:17:14 +02:00

1 Commits

Author SHA1 Message Date
1dbc81a8f5
closure param name tweak
All checks were successful
Rust/sat-rs/pipeline/head This commit looks good
2024-04-10 15:51:08 +02:00