chore: use `[email protected]`#2362

kittaakos wants to merge 1 commit intomainarduino/arduino-ide:mainfrom

use-theia-1.46.1arduino/arduino-ide:use-theia-1.46.1Copy head branch name to clipboard