Update arduinoSettings.ts (2)#16

lersi merged 13 commits intomainvscode-arduino/vscode-arduino:mainfrom

merge_rgot_org_contributionvscode-arduino/vscode-arduino:merge_rgot_org_contributionCopy head branch name to clipboard