[checkmk-commits] [tribe29/checkmk] 595d7d: Mobile GUI: Remove duplicate Checkbox in search menu