[checkmk-commits] [tribe29/checkmk] b13741: Fix broken service discovery page since 58db743a54