]> git.ipfire.org Git - thirdparty/systemd.git/commit
Merge pull request #9218 from systemd/finalize-coverity
authorZbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl>
Thu, 7 Jun 2018 18:47:45 +0000 (20:47 +0200)
committerGitHub <noreply@github.com>
Thu, 7 Jun 2018 18:47:45 +0000 (20:47 +0200)
commitad119a3293b9ab44277bb30562ff008930bedfe2
tree4a4eb5147baed515f5bc5fe087f6760116410f65
parent6ca4803e5f453dd51a60f4b540ca5a2abc32421d
parentf5dd4eeca299c86bfdec2ebcc52ee6962feca995
Merge pull request #9218 from systemd/finalize-coverity

coverity.sh: check that coverity responds with 200