tree 8928121e4649bd960bd33c0a5fad1a7c7d38fbcb
parent 3a8801aeb7160b3059ab9f2cee643c75fd0cab27
parent 90388aa836fc463f87cc9dfd41823022055a40fa
author Edward Thomson <ethomson@edwardthomson.com> 1496922982 +0200
committer GitHub <noreply@github.com> 1496922982 +0200

Merge pull request #4253 from pks-t/pks/cov-fixes

Coverity fixes