[checkmk-commits] [tribe29/checkmk] 84d759: Fix host and service filters in mobile GUI