]> git.ipfire.org Git - thirdparty/mkosi.git/commitdiff
Merge pull request #3918 from DaanDeMeyer/postmarketos-fixes
authorJörg Behrmann <behrmann@physik.fu-berlin.de>
Sat, 27 Sep 2025 14:15:44 +0000 (16:15 +0200)
committerGitHub <noreply@github.com>
Sat, 27 Sep 2025 14:15:44 +0000 (16:15 +0200)
Postmarketos fixes


Trivial merge