[checkmk-commits] [tribe29/checkmk] 158b42: 12137 Monitor menu entries are now searchable in m...