Travis config: fix last merge issues + merge coverity check into master branch to...
authorKim Kulling <kim.kulling@googlemail.com>
Mon, 21 Nov 2016 19:42:37 +0000 (20:42 +0100)
committerKim Kulling <kim.kulling@googlemail.com>
Mon, 21 Nov 2016 19:42:37 +0000 (20:42 +0100)
commitc5d7a97b930336aaa1e00cdadf0f93e7fead8c10
treea293e115a0ace92706d79c2d487bf7c1f9a5f744
parent68b89487582aeed3fe1c95b7d899189e064a094e
Travis config: fix last merge issues + merge coverity check into master branch to avoid merge issues in the future on 
.travis.yml