Dec. 14, 2016
12:26 a.m.
On 13 December 2016 at 19:12, Paul Eggert <eggert@cs.ucla.edu> wrote:
Officially, in the 1918 and 1919 fallback transitions the clock for the long day kept going after 24:00, reaching 24:59 the previous day before falling back an hour to 00:00 the next day. As this behavior is not representable in this database, it is modeled instead as the clock reaching 00:59 the next day before falling back to 00:00.
Er, remove "the previous day" for consistency about which day we're talking about. ;) -- Tim Parenti