Skip to content

Ignore origin when comparing installed tools#16055

Merged
charliermarsh merged 1 commit intomainfrom
charlie/origin
Sep 29, 2025
Merged

Ignore origin when comparing installed tools#16055
charliermarsh merged 1 commit intomainfrom
charlie/origin

Commits

Commits on Sep 29, 2025