Skip to content

[red-knot] Minor followup on str.startswith#17362

Merged
sharkdp merged 1 commit intomainfrom
david/startswith-followup
Apr 11, 2025
Merged

[red-knot] Minor followup on str.startswith#17362
sharkdp merged 1 commit intomainfrom
david/startswith-followup

Commits

Commits on Apr 11, 2025