[checkmk-commits] Check_MK Git: check_mk: FIX: filter for WATO file/ folder was not always working.