Merge pull request #13239 from poettering/coverity-fixes
authorZbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl>
Wed, 31 Jul 2019 14:08:52 +0000 (16:08 +0200)
committerGitHub <noreply@github.com>
Wed, 31 Jul 2019 14:08:52 +0000 (16:08 +0200)
commit1be8044b5bf837d5344d4ab240776182ed31c56a
tree728a9c4c33b90fa90b6ac34e74dc0622fdb38a40
parent3ff668cb9a04dde09c34e7934f19790be0393147
parent735a8b6d38a7116975a4650b0967ad71a4757559
Merge pull request #13239 from poettering/coverity-fixes

four coverity fixes