Fix `Tools > Board` and `Tools > Port` labels#558

fstasi merged 1 commit intomainarduino/arduino-ide:mainfrom

scerza/fix-board-port-labelsarduino/arduino-ide:scerza/fix-board-port-labelsCopy head branch name to clipboard