Skip to content

Merge pull request #743 from tgross35/fix-opt-level #1632

Merge pull request #743 from tgross35/fix-opt-level

Merge pull request #743 from tgross35/fix-opt-level #1632

Annotations

1 warning

Clippy

succeeded Jan 7, 2025 in 21s