Skip to content

[red-knot] Fix dead-code clippy warning#17291

Merged
MichaReiser merged 1 commit intomainfrom
david/fix-clippy-dead-code
Apr 8, 2025
Merged

[red-knot] Fix dead-code clippy warning#17291
MichaReiser merged 1 commit intomainfrom
david/fix-clippy-dead-code

Commits

Commits on Apr 8, 2025