]> git.ipfire.org Git - thirdparty/knot-resolver.git/commitdiff
Merge branch 'manager-mypy-fix' into 'master' docs-develop-mast-tzgd0f/deployments/4937
authorAleš Mrázek <ales.mrazek@nic.cz>
Wed, 21 Aug 2024 12:09:27 +0000 (14:09 +0200)
committerAleš Mrázek <ales.mrazek@nic.cz>
Wed, 21 Aug 2024 12:09:27 +0000 (14:09 +0200)
manager: modeling: mypy ignore comparison-overlap error

See merge request knot/knot-resolver!1570


Trivial merge