Make Linux build in a container for compatibility with older distros#2253

per1234 merged 1 commit intoarduino:mainarduino/arduino-ide:mainfrom

per1234:ubuntu-18.04per1234/arduino-ide:ubuntu-18.04Copy head branch name to clipboard