New upstream version, affecting the following past and future timestamps:

* New upstream version, affecting the following past and future timestamps:
  - São Tomé and Príncipe switched from +00 to +01 on 2018-01-01 at 01:00.
  - Southern Brazil will begin DST on 2018-11-04 instead of 2018-10-21.