[checkmk-commits] [tribe29/checkmk] ca5d7e: 12798 FIX Update of vanished host labels