]> git.ipfire.org Git - thirdparty/mkosi.git/commitdiff
Merge pull request #1804 from DaanDeMeyer/boot
authorLuca Boccassi <bluca@debian.org>
Thu, 17 Aug 2023 08:29:58 +0000 (09:29 +0100)
committerGitHub <noreply@github.com>
Thu, 17 Aug 2023 08:29:58 +0000 (09:29 +0100)
systemd-boot improvements


Trivial merge