[checkmk-commits] [tribe29/checkmk] 9a1b27: RegExpFilter GUI render rename