Skip to content

[terminal] Tweaks to the problem collection API.#5385

Merged
iclanton merged 1 commit intomicrosoft:mainfrom
iclanton:change-problems-result-to-set
Sep 30, 2025
Merged

[terminal] Tweaks to the problem collection API.#5385
iclanton merged 1 commit intomicrosoft:mainfrom
iclanton:change-problems-result-to-set

Commits

Commits on Sep 30, 2025