fixes https://github.com/microsoft/vscode/issues/237171 #237628
Merged
VS Code Engineering / Community PR Approvals
succeeded
Jan 10, 2025 in 1s
Not a community PR
PR created by a collaborator
Loading