Cambios en el horario de trading el 1 de julio de 2019