[tz] Chile goes back to DST (...)

[Paul Eggert]

On 03/18/2016 12:36 PM, Juan Correa wrote:
> I guess it keeps the EU-style time change; as the "hora oficial" is 
> the time used in mainland (Chile Continental). Easter Island is called 
> "Hora Oficial de Chile Insular Occidental", as per decree 1142-1980 
> from Ministerio del Interior 
> <http://www.leychile.cl/Navegar?idNorma=17012>.

Perhaps you're right; still, it is odd. The decree does not mention 
anything like an EU-style practice; it talks only about a transition at 
24:00, regardless of location.

On the other hand, the 2008 announcement from SHOA (Servicio 
Hidrográfico y Oceanográfico de la Armada de Chile) looks official too 
and is quite explicit using an EU-style practice.

Possibly SHOA is entrusted with determining what "24:00" means, and has 
decided that it means 24:00 at SHOA headquarters rather than 24:00 local 
time. If so, we should revert that part of the Chile change (i.e., 
revert the user-visible aspect of commit 
483247fc9b735097ff2c06531204913317a5056c). It would be nice to have some 
confirmation of this, though. One possibility is to wait until SHOA 
announces the change on their website. (It's not there yet.)