Commit 8aa04a37d180240edb68db4267a0895ce38e9fc3

Patrick Steinhardt 2020-02-19T12:14:16

Merge pull request #5391 from pks-t/pks/coverity-fixes Coverity fixes