]> git.ipfire.org Git - thirdparty/systemd.git/commitdiff
Merge pull request #32391 from DaanDeMeyer/optimization
authorLuca Boccassi <bluca@debian.org>
Mon, 22 Apr 2024 09:21:04 +0000 (11:21 +0200)
committerGitHub <noreply@github.com>
Mon, 22 Apr 2024 09:21:04 +0000 (11:21 +0200)
mkosi: Add environment variable to set the optimization level


Trivial merge