[checkmk-commits] Check_MK Git: check_mk: Small fix for .f12 file in agents directory