From: Aleš Mrázek <ales.mrazek@nic.cz>
Date: Wed, 21 Aug 2024 12:09:27 +0000 (+0200)
Subject: Merge branch 'manager-mypy-fix' into 'master'
X-Git-Tag: v6.0.9~29
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=refs%2Fenvironments%2Fdocs-develop-mast-tzgd0f%2Fdeployments%2F4937;p=thirdparty%2Fknot-resolver.git

Merge branch 'manager-mypy-fix' into 'master'

manager: modeling: mypy ignore comparison-overlap error

See merge request knot/knot-resolver!1570
---

061ecdba8fb449abd0e3ebbef18c32a0b8d7e4b6