[checkmk-commits] Check_MK Git: check_mk: Show icon if user has modified a filter