[MERGED] Arduino IDE 1.8.10 on Linux Mint 19.2

This topic has been merged into 1.8.10 ISSUES .