Commit 7e53e8ce454b31e933b7ad6df90ffdfdc678cd81

Edward Thomson 2017-03-22T20:26:52

Merge pull request #4167 from pks-t/pks/ci-fixes Coverity fixes