[checkmk-commits] [tribe29/checkmk] a1f850: Port changes made in #9391