Merge pull request #2175 from cgwalters/coverity-2020.5
authorOpenShift Merge Robot <openshift-merge-robot@users.noreply.github.com>
Wed, 19 Aug 2020 14:46:49 +0000 (16:46 +0200)
committerGitHub <noreply@github.com>
Wed, 19 Aug 2020 14:46:49 +0000 (16:46 +0200)
Two small Coverity fixes


Trivial merge