[checkmk-commits] [tribe29/checkmk] b72249: 11129 FIX f5_bigip_fans: replaced deprecated OID