]> git.ipfire.org Git - thirdparty/mkosi.git/commitdiff
Merge pull request #3759 from behrmann/cidebug
authorDaan De Meyer <daan.j.demeyer@gmail.com>
Wed, 4 Jun 2025 14:45:16 +0000 (16:45 +0200)
committerGitHub <noreply@github.com>
Wed, 4 Jun 2025 14:45:16 +0000 (16:45 +0200)

Trivial merge