Commit 9275d84c583a030e759edbfafacf99c42a83c543

Edward Thomson 2018-08-06T13:14:08

Merge pull request #4755 from pks-t/pks/travis-coverity-cron travis: do not execute Coverity analysis for all cron jobs