Cambios en el horario de trading el 12 de junio de 2019