Just found another article which (I think) has the end date:

https://www.valor.com.br/brasil/5903337/governo-adia-horario-de-verao-para-18-de-novembro-por-causa-do-enem

Google translate: "DST will begin at midnight on November 18 and end on February 16, 2019."

Debbie

> On Oct 4, 2018, at 11:11 AM, Paul Eggert <eggert@CS.UCLA.EDU> wrote:
>
> On 10/4/18 10:00 AM, Fábio Gomes wrote:
>>   I'm just not sure if the end date was kept on 3rd Sunday of February, 2019. How is it now?
>
> In tzdb we left the February 2019 transition as it was, which was indeed at 00:00 on February 16. Perhaps the presidential decree (whenever it's published) will change that transition too; if so, we'll need to update tzdb further.
>