Commit c1ef58ac0540d9b6b65066415da6c588d54c6881

Edward Thomson 2018-08-17T15:17:07

Merge pull request #4766 from pks-t/pks/travis-remove-coverity travis: remove Coverity cron job