remove unneeded details #1174
Merged
remove unneeded details #1174
VS Code Engineering / Community PR Approvals
succeeded
Feb 4, 2026 in 0s
Not a community PR
PR created by a collaborator
Loading