En el caso del establecimiento de horarios estacionales, el Ejecutivo Federal en coordinación con los Ejecutivos Estatales y del Distrito Federal, difundirán, con la anticipación debida, el Decreto por medio del cual se establece dicho horario, para el conocimiento de la población.