Dec. 4, 2017
1:37 p.m.
On 12/04/2017 02:00 AM, Derick Rethans wrote:
I think you're missing "IST" for "Irish Standard Time"
Thanks, good catch (I assume you meant "Irish Summer Time"). I installed the first attached patch to fix that. IST is interesting because in summer 1916 it meant +00:34:38.9 as opposed to the modern +01. Come to think of it, it's worth documenting the Dublin/Dunsink issue a bit more, including the question whether DMT was -00:25:21.1 or -00:25:22. It's possible that we're missing an 0.9-second transition for Dublin/Dunsink circa 1896, which presumably we'd model as a 1-second-transition! I'll leave that just as a comment for now. I installed the second attached patch, plus the third to fix a typo.