]> git.ipfire.org Git - thirdparty/mkosi.git/commitdiff
Merge pull request #1500 from behrmann/followupsv1
authorDaan De Meyer <daan.j.demeyer@gmail.com>
Tue, 25 Apr 2023 13:35:55 +0000 (15:35 +0200)
committerGitHub <noreply@github.com>
Tue, 25 Apr 2023 13:35:55 +0000 (15:35 +0200)
Assorted followups


Trivial merge