]> git.ipfire.org Git - thirdparty/mkosi.git/commitdiff
Merge pull request #1708 from DaanDeMeyer/fixes
authorDaan De Meyer <daan.j.demeyer@gmail.com>
Fri, 28 Jul 2023 16:39:47 +0000 (18:39 +0200)
committerGitHub <noreply@github.com>
Fri, 28 Jul 2023 16:39:47 +0000 (18:39 +0200)
Fixes


Trivial merge