[checkmk-commits] [tribe29/checkmk] b72e8b: Fixed errors found by a more recent mypy.