]> git.ipfire.org Git - thirdparty/mkosi.git/commitdiff
projects / thirdparty / mkosi.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: c42d816 a908d24)
Merge pull request #2124 from behrmann/pyrightfix
authorDaan De Meyer <daan.j.demeyer@gmail.com>
Wed, 6 Dec 2023 08:22:47 +0000 (09:22 +0100)
committerGitHub <noreply@github.com>
Wed, 6 Dec 2023 08:22:47 +0000 (09:22 +0100)
Fix pyright errors


Trivial merge
Mirror of https://github.com/systemd/mkosi.git