]> git.ipfire.org Git - thirdparty/mkosi.git/commitdiff
Merge pull request #4090 from DaanDeMeyer/proc main
authorJörg Behrmann <behrmann@physik.fu-berlin.de>
Wed, 24 Dec 2025 13:31:04 +0000 (14:31 +0100)
committerGitHub <noreply@github.com>
Wed, 24 Dec 2025 13:31:04 +0000 (14:31 +0100)
sandbox: Drop --proc


Trivial merge