]> git.ipfire.org Git - thirdparty/mkosi.git/commitdiff
Merge pull request #1882 from DaanDeMeyer/news
authorJörg Behrmann <behrmann@physik.fu-berlin.de>
Thu, 7 Sep 2023 17:46:37 +0000 (19:46 +0200)
committerGitHub <noreply@github.com>
Thu, 7 Sep 2023 17:46:37 +0000 (19:46 +0200)
Rename "direct" firmware option to "linux"


Trivial merge