Retain Library/Boards Manager installation interface using version menu#1471

francescospissu merged 1 commit intomainarduino/arduino-ide:mainfrom

fspissu/retain-install-interfacearduino/arduino-ide:fspissu/retain-install-interfaceCopy head branch name to clipboard