]> git.ipfire.org Git - thirdparty/mkosi.git/commitdiff
Merge pull request #3451 from DaanDeMeyer/overlay
authorJörg Behrmann <behrmann@physik.fu-berlin.de>
Thu, 30 Jan 2025 15:07:47 +0000 (16:07 +0100)
committerGitHub <noreply@github.com>
Thu, 30 Jan 2025 15:07:47 +0000 (16:07 +0100)
Fix condition when removing duplicate files from the overlay


Trivial merge