]> git.ipfire.org Git - thirdparty/systemd.git/commitdiff
Merge pull request #22499 from mrc0mmand/ci-tweaks
authorEvgeny Vereshchagin <evvers@ya.ru>
Sun, 13 Feb 2022 16:13:05 +0000 (19:13 +0300)
committerGitHub <noreply@github.com>
Sun, 13 Feb 2022 16:13:05 +0000 (19:13 +0300)
A couple of Packit/Super-Linter tweaks


Trivial merge