#979 fix platform installation prompt only made for boards listed in oldest release#1131

davegarthsimpson merged 1 commit intomainarduino/arduino-ide:mainfrom

979-platform-install-promptarduino/arduino-ide:979-platform-install-promptCopy head branch name to clipboard