]> git.ipfire.org Git - thirdparty/mkosi.git/commitdiff
Merge pull request #1571 from DaanDeMeyer/fixes
authorDaan De Meyer <daan.j.demeyer@gmail.com>
Mon, 22 May 2023 08:01:38 +0000 (10:01 +0200)
committerGitHub <noreply@github.com>
Mon, 22 May 2023 08:01:38 +0000 (10:01 +0200)
Fixes


Trivial merge