BRST significa "Brasília Summer Time"

Antes da versão 7.0.26, o PHP fazia o parse da seguinte string:

    $date = DateTime("Mon Jan 01 20:00:00 BRST 2017");

Depois dessa versão, o PHP retorna:

    Fatal error: Uncaught Exception: DateTime::__construct(): Failed to 
    parse time string (Mon Jan 01 20:00:00 BRST 2017) at position 4 (J): 
    The timezone could not be found in the database in /in/c6K56:5
    Stack trace:
    #0 /in/c6K56(5): DateTime->__construct('Mon Jan 01 20:0...')
    #1 {main}
      thrown in /in/c6K56 on line 5

    Process exited with code 255.

Eu pesquisei no changelog, mas não consegui encontrar nenhuma explicação pra isso.

Exemplo:

[https://3v4l.org/c6K56#v7026][1]


  [1]: https://3v4l.org/c6K56#v7026