On Mon, Jul 7, 2008 at 4:47 AM, Paul Eggert <eggert@cs.ucla.edu> wrote:
+# From Paul Schulze (2008-06-24):
+# ... by law number 11.662 of April 24, 2008
+# (published in the "Diario Oficial da Uniao"
+# https://www.in.gov.br/imprensa/jsp/jsp/jornaiscompletos/visualizacao/pdf/visualiza_pdf.jsp?jornal=do&secao=1&pagina=01&data=25/04/2008)
+# in Brazil there are changes in the timezones, effective today
+# (00:00 at June 24, 2008) as follows: