mend historical data of Europe/Dublin
Europe/Dublin currently has the two fall backs in 1946 and 1947 going from 02:00 to 01:00, one hour before the corresponding two jumps in Europe/London. This is wrong; both should go from 03:00 to 02:00. For 1947, the "Summer Time Order, 1947" at [http://www.irishstatutebook.ie/eli/1947/sro/71/made/en/print.html] gives the time of the switch as "two o'clock, West-European time", where "West-European time" means GMT according to the "Summer Time Act, 1925", section 4, at [http://www.irishstatutebook.ie/eli/1925/act/8/enacted/en/print.html] For 1946, the "Summer Time Order, 1926" at [http://www.irishstatutebook.ie/eli/1926/sro/919/made/en/print.html] specifies the time of the switch in the same manner. Hence I propose to change Zone Europe/Dublin as follows: # Zone NAME GMTOFF RULES FORMAT [UNTIL] - 0:00 1:00 IST 1946 Oct 6 2:00 + 0:00 1:00 IST 1946 Oct 6 2:00s 0:00 - GMT 1947 Mar 16 2:00 - 0:00 1:00 IST 1947 Nov 2 2:00 + 0:00 1:00 IST 1947 Nov 2 2:00s 0:00 - GMT 1948 Apr 18 2:00 Michael Deckers. --- This email has been checked for viruses by Avast antivirus software. https://www.avast.com/antivirus
Thanks for the fix. I installed the attached proposed patch into the development repository on GitHub.
participants (2)
-
Michael Deckers -
Paul Eggert