Skip to content

Make recent versions of clippy happy #3758

Make recent versions of clippy happy

Make recent versions of clippy happy #3758

Annotations

1 warning

clippy windows-latest

succeeded May 23, 2024 in 3m 16s