[checkmk-commits] [tribe29/checkmk] 79cd20: IPMI Management Board: Optimized handling of wrong...