Changes

Summary

  1. Travis CI: we don't need to specify the edge group anymore. (commit: 1145853) (details)
Commit 1145853832643534b36d8277d78f7e60ef0c1622 by noreply
Travis CI: we don't need to specify the edge group anymore.
Indeed, Travis CI have now officially upgraded their system, so we are
fine (see
https://blog.travis-ci.com/2017-06-21-trusty-updates-2017-Q2-launch).
(commit: 1145853)
The file was modified .travis.yml (diff)