[checkmk-commits] Check_MK Git: check_mk: #1425 New section header option "encoding"