Merge pull request #9184 from msekletar/travis-followups
authorEvgeny Vereshchagin <evvers@ya.ru>
Mon, 4 Jun 2018 17:53:20 +0000 (20:53 +0300)
committerGitHub <noreply@github.com>
Mon, 4 Jun 2018 17:53:20 +0000 (20:53 +0300)
Travis CI follow ups


Trivial merge