Merge pull request #153915 from rhoriguchi/vscode-extensions
vscode-extensions: update installed extensions
authored by Bernardo Meurer and committed by GitHub 4 years ago c045f90f 93651fd1