Actualizacion FortiManager 7.2.3 a 7.4.2

Otra actualización mas … de la 7.2.3 a la 7.4.2.

Se hace sin problemas, ademas tarda poco … aunque la lista de cambios es grande. Tengo que revisarlo en profundidad.