[checkmk-commits] [Checkmk/checkmk] 8ee930: Some slight typing improvements.