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

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

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