[pull] master from arduino:master#31

pull[bot] merged 1 commit intoblog2i2j:masterblog2i2j/arduino.._..arduino-cli:masterfrom

arduino:masterarduino/arduino-cli:masterCopy head branch name to clipboard