uv
Remove marker from `Edge`
#14649
Merged

Remove marker from `Edge` #14649

zanieb merged 1 commit into main from konsti/remove-marker-from-edge
konstin
konstin Remove marker from `Edge`
30eda7ec
charliermarsh
charliermarsh approved these changes on 2025-07-16
konstin konstin marked this pull request as ready for review 161 days ago
konstin konstin requested a review from BurntSushi BurntSushi 161 days ago
BurntSushi
BurntSushi approved these changes on 2025-07-16
zanieb zanieb merged 7fece9b9 into main 161 days ago
zanieb zanieb deleted the konsti/remove-marker-from-edge branch 161 days ago
zanieb zanieb added internal

Login to write a write a comment.

Login via GitHub

Assignees
No one assigned
Labels
Milestone