Merge pull request #4813 from ondrejholy/coverity
authorDavid Fort <rdp.effort@gmail.com>
Thu, 23 Aug 2018 07:40:49 +0000 (09:40 +0200)
committerGitHub <noreply@github.com>
Thu, 23 Aug 2018 07:40:49 +0000 (09:40 +0200)
commit7b53ae6189262153450bc1bd74829a432d105c3f
treefd933db95e76e2abb82e10a475c2419999ad33cb
parentd093189ac0876920a71feedcf6a3481990df0a99
parent95a043e0eb39e46aa2e094988296644e0f09211c
Merge pull request #4813 from ondrejholy/coverity

Bunch of fixes based on covscan results