[CI] Amended a Travis-CI configuration file.
Merge branch 'trunk' into releases