Merge for 1.25.2#13551

sean-mcmanus merged 2 commits intoinsidersmicrosoft/vscode-cpptools:insidersfrom

mainmicrosoft/vscode-cpptools:mainCopy head branch name to clipboard