[pull] main from arduino:main#42

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

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