[pull] main from microsoft:main#933

pull[bot] merged 1 commit intocode:maincode/app-vscode:mainfrom

microsoft:mainmicrosoft/vscode:mainCopy head branch name to clipboard