fix: updated to `[email protected]`#1986

kittaakos merged 2 commits intomainarduino/arduino-ide:mainfrom

#1801arduino/arduino-ide:#1801Copy head branch name to clipboard