[checkmk-commits] Check_MK Git: check_mk: Removed unused old .f12 file