[checkmk-commits] [tribe29/checkmk] d8c724: Temporary workaround to make our coverage job happ...