]> git.ipfire.org Git - thirdparty/mkosi.git/commitdiff
Merge pull request #3101 from aafeijoo-suse/use-distro-pretty-name
authorJörg Behrmann <behrmann@physik.fu-berlin.de>
Fri, 4 Oct 2024 13:53:51 +0000 (15:53 +0200)
committerGitHub <noreply@github.com>
Fri, 4 Oct 2024 13:53:51 +0000 (15:53 +0200)
Print distribution pretty name on installation


Trivial merge