fix: add missing installed version to the platform#2379

kittaakos merged 1 commit intomainarduino/arduino-ide:mainfrom

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