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