Skip to content

Delete unneeded use of ref #1974

Delete unneeded use of ref

Delete unneeded use of ref #1974

Clippy

succeeded Aug 22, 2024 in 18s