]> git.ipfire.org Git - thirdparty/systemd.git/commitdiff
Merge pull request #16437 from systemd/coverity-gcc-10
authorEvgeny Vereshchagin <evvers@ya.ru>
Sun, 12 Jul 2020 22:42:39 +0000 (01:42 +0300)
committerGitHub <noreply@github.com>
Sun, 12 Jul 2020 22:42:39 +0000 (01:42 +0300)
coverity: switch back to Fedora 31


Trivial merge