Merge pull request #4513 from chipitsine/travis-new
authorBernhard Miklautz <bmiklautz@users.noreply.github.com>
Mon, 26 Mar 2018 12:31:14 +0000 (14:31 +0200)
committerGitHub <noreply@github.com>
Mon, 26 Mar 2018 12:31:14 +0000 (14:31 +0200)
initial travis-ci support


Trivial merge