#979 fix platform installation prompt only made for boards listed in oldest release by davegarthsimpson · Pull Request #1131 · arduino/arduino-ide