From: Evgeny Vereshchagin Date: Sun, 12 Jul 2020 22:42:39 +0000 (+0300) Subject: Merge pull request #16437 from systemd/coverity-gcc-10 X-Git-Tag: v246-rc2~85 X-Git-Url: http://git-history.diyao.me/?a=commitdiff_plain;h=8ba6c15a8227a6fecbe5e97919ea502da90083d3;p=systemd%2F.git Merge pull request #16437 from systemd/coverity-gcc-10 coverity: switch back to Fedora 31 --- 8ba6c15a8227a6fecbe5e97919ea502da90083d3