[checkmk-commits] [tribe29/checkmk] b28878: 14750 FIX Fix role ID in user menu