[checkmk-commits] [tribe29/checkmk] 71ba93: 10228 Update: A few minor GUI fixes (FEED-4434)