[pull] main from arduino:main#22

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

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