fixes #3561 -- silence new clippy warning #3564
Merged
Codecov / codecov/project
succeeded
Nov 27, 2023 in 0s
90.37% (+0.00%) compared to 0f34fcd
View this Pull Request on Codecov
90.37% (+0.00%) compared to 0f34fcd
Loading