[checkmk-commits] Check_MK Git: check_mk: Fix: remove duplicate table.end() in rule editor