pike.git / lib / modules / Calendar.pmod / tzdata / asia

version» Context lines:

pike.git/lib/modules/Calendar.pmod/tzdata/asia:886:    5:30 - IST 1942 Sep    5:30 1:00 IST 1945 Oct 15    5:30 - IST   # The following are like Asia/Kolkata:   # Andaman Is   # Lakshadweep (Laccadive, Minicoy and Amindivi Is)   # Nicobar Is      # Indonesia   # + # From Paul Eggert (2014-09-06): + # The 1876 Report of the Secretary of the [US] Navy, p 306 says that Batavia + # civil time was 7:07:12.5; round to even for Jakarta. + #   # From Gwillim Law (2001-05-28), overriding Shanks & Pottenger:   # http://www.sumatera-inc.com/go_to_invest/about_indonesia.asp#standtime   # says that Indonesia's time zones changed on 1988-01-01. Looking at some   # time zone maps, I think that must refer to Western Borneo (Kalimantan Barat   # and Kalimantan Tengah) switching from UTC+8 to UTC+7.   #   # From Paul Eggert (2007-03-10):   # Here is another correction to Shanks & Pottenger.   # JohnTWB writes that Japanese forces did not surrender control in   # Indonesia until 1945-09-01 00:00 at the earliest (in Jakarta) and