]> git.ipfire.org Git - thirdparty/mkosi.git/commitdiff
Merge pull request #2258 from DaanDeMeyer/policycoreutils
authorJörg Behrmann <behrmann@physik.fu-berlin.de>
Tue, 9 Jan 2024 12:08:44 +0000 (13:08 +0100)
committerGitHub <noreply@github.com>
Tue, 9 Jan 2024 12:08:44 +0000 (13:08 +0100)
Add policycoreutils to tools trees


Trivial merge