From: Daan De Meyer <daan.j.demeyer@gmail.com>
Date: Wed, 6 Dec 2023 08:22:47 +0000 (+0100)
Subject: Merge pull request #2124 from behrmann/pyrightfix
X-Git-Tag: v20~112
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=924ac9872fc75217be4f31ee9bf64698a0bfd553;p=thirdparty%2Fmkosi.git

Merge pull request #2124 from behrmann/pyrightfix

Fix pyright errors
---

924ac9872fc75217be4f31ee9bf64698a0bfd553