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)
commitc79e760f3693561ceccf94e34806299ee31c3d60
tree6694817cc64ede6f4802c1165fbb1766b724aa10
parent4146960ee95462dc98722e00041b2e77316e6036
parent634b847149d2385be475f50edc95bd565de1b68d
Merge pull request #29364 from poettering/make-ddi-easy

repart: make building DDIs easier (and other fixes)