Skip to content

[red-knot] More informative hover-types for assignments#17762

Merged
sharkdp merged 1 commit intomainfrom
david/hover-type-for-assignments
May 1, 2025
Merged

[red-knot] More informative hover-types for assignments#17762
sharkdp merged 1 commit intomainfrom
david/hover-type-for-assignments

Commits

Commits on May 1, 2025