]> git.ipfire.org Git - thirdparty/systemd.git/commitdiff
Merge pull request #29364 from poettering/make-ddi-easy
authorLennart Poettering <lennart@poettering.net>
Thu, 5 Oct 2023 19:13:13 +0000 (21:13 +0200)
committerGitHub <noreply@github.com>
Thu, 5 Oct 2023 19:13:13 +0000 (21:13 +0200)
repart: make building DDIs easier (and other fixes)


Trivial merge