[checkmk-commits] [tribe29/checkmk] 1dee2b: 10817 FIX check_dns: Act case-insensitive