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