[pull] main from arduino:main#47

pull[bot] merged 8 commits intoblog2i2j:mainblog2i2j/arduino.._..arduino-lint:mainfrom

arduino:mainarduino/arduino-lint:mainCopy head branch name to clipboard