Skip to content

Fix new clippy nit#531

Merged
paulgb merged 1 commit intomainfrom paulgb/fix-clippy-nitJan 4, 2024

Commits

Commits on Jan 4, 2024