]> granicus.if.org Git - icinga2/commitdiff
Merge pull request #5858 from Icinga/feature/coverity
authorMichael Friedrich <michael.friedrich@icinga.com>
Fri, 15 Dec 2017 09:06:47 +0000 (10:06 +0100)
committerGitHub <noreply@github.com>
Fri, 15 Dec 2017 09:06:47 +0000 (10:06 +0100)
Travis: Add support for Coverity


Trivial merge