[tz] mend historical data of Europe/Dublin

[Michael Deckers]

    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