[checkmk-commits] Check_MK Git: check_mk: #2294 if, if64: Move global option for padding port numbers with zeroes into rule