]> git.ipfire.org Git - thirdparty/systemd.git/commitdiff
Merge pull request #21237 from bluca/analyze_skip
authorLuca Boccassi <luca.boccassi@microsoft.com>
Sat, 6 Nov 2021 11:19:40 +0000 (11:19 +0000)
committerGitHub <noreply@github.com>
Sat, 6 Nov 2021 11:19:40 +0000 (11:19 +0000)
analyze: allow a custom policy to skip a check


Trivial merge