]> git.ipfire.org Git - thirdparty/mkosi.git/commitdiff
Merge pull request #1347 from DaanDeMeyer/fix-incremental
authorDaan De Meyer <daan.j.demeyer@gmail.com>
Tue, 14 Feb 2023 15:30:05 +0000 (16:30 +0100)
committerGitHub <noreply@github.com>
Tue, 14 Feb 2023 15:30:05 +0000 (16:30 +0100)
Fix need_cache_trees()


Trivial merge