-
Thomas Haller authored
Travis used by default Ubuntu 12.04 which is now EOL. Hence, the default changed. Eventually, we may want to upgrade the tests to run on Ubuntu 14.04.5 LTS (Trusty Tahr). But for that we need to adjust the travis test script. For now, explicitly select precise. https://blog.travis-ci.com/2017-07-11-trusty-as-default-linux-is-coming?utm_source=web&utm_medium=banner&&utm_campaign=trusty-default
e260f2a0