Fix build in Travis
Starting from 1 September 2017 Travis defaults to "dist: trusty", on which our build currently fails, because new environment is quite different from previous "dist: precise".
Loading
Please sign in to comment
Starting from 1 September 2017 Travis defaults to "dist: trusty", on which our build currently fails, because new environment is quite different from previous "dist: precise".