Re: [tz] DST Brazil is over

Thanks, we've seen those news reports. However, as far as I can tell the change isn't official yet; it's been announced only by an informal tweet and it'd be better to see the sort of official confirmation that has been common practice in Brazil (in case the president changes his mind :-). MME's main web page <http://www.mme.gov.br/web/guest/2-horario-de-verao>, for example, says that Decree No. 9242 of December 15, 2017 is still in force.