]> git.ipfire.org Git - thirdparty/systemd.git/commitdiff
Merge pull request #18374 from mrc0mmand/assorted-ci-tweaks
authorFrantisek Sumsal <frantisek@sumsal.cz>
Mon, 25 Jan 2021 20:50:09 +0000 (21:50 +0100)
committerGitHub <noreply@github.com>
Mon, 25 Jan 2021 20:50:09 +0000 (21:50 +0100)
Assorted CI tweaks


Trivial merge