Los migrantes llegaron al puerto de La Restinga en torno a las 03.00 horas y fueron atendidos por el habitual dispositivo sanitario a pie de muelle