[checkmk-commits] [tribe29/checkmk] afdd29: cmk.gui: Some typing improvements