[pull] main from arduino:main#40

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

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