]> git.ipfire.org Git - thirdparty/mkosi.git/commitdiff
Merge pull request #1691 from DaanDeMeyer/distribution
authorDaan De Meyer <daan.j.demeyer@gmail.com>
Fri, 21 Jul 2023 09:55:11 +0000 (11:55 +0200)
committerGitHub <noreply@github.com>
Fri, 21 Jul 2023 09:55:11 +0000 (11:55 +0200)
Distribution stuff


Trivial merge