[checkmk-commits] [tribe29/checkmk] a6fa7d: remove unneeded cast