[checkmk-commits] [Checkmk/checkmk] 8b8d74: Some typing improvements