]> git.ipfire.org Git - thirdparty/systemd.git/commitdiff
projects / thirdparty / systemd.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 6ca4803 f5dd4ee)
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)
coverity.sh: check that coverity responds with 200


Trivial merge
Unnamed repository; edit this file 'description' to name the repository.