[checkmk-commits] [tribe29/checkmk] 72da6d: 12129 FIX Fix discovered host labels file names