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.