]> git.ipfire.org Git - thirdparty/mkosi.git/commitdiff
Merge pull request #1401 from DaanDeMeyer/fixes
authorDaan De Meyer <daan.j.demeyer@gmail.com>
Mon, 20 Mar 2023 19:33:00 +0000 (20:33 +0100)
committerGitHub <noreply@github.com>
Mon, 20 Mar 2023 19:33:00 +0000 (20:33 +0100)
Fixes


Trivial merge