[tz] South Sudan to change time zone?

Paul Eggert eggert at cs.ucla.edu
Mon Feb 8 08:45:49 UTC 2021


On 2/7/21 10:16 AM, Hayo Schmidt wrote:

> you created a new
> edge case by defining 00:00 of a day and then shifting back the date by
> one day (and 23 hours forward).

This sort of edge case is not new to Africa/Juba. For example, it 
occurred on 2020-03-22 at 00:00 in America/Asuncion, and is scheduled to 
occur again on 2021-03-28 at 00:00 at the same location.

> A datum could have been created when reaching the first time exactly
> 00:00:00.000.

This is modeled in tzdb by the clock ticking 23:59:59.999999999 (as many 
9s as you like) followed by 23:00:00.000000000 (the same number of 0s). 
That is, all the timestamps from 23:00:00.000000000 through 
23:59:59.999999999 occur twice, but 00:00:00.000000000 the next day 
occurs only once.

In this sense, there's no difference between a transition at 24:00, and 
one at 02:00.

You can seem more details by running the command "zdump -v Africa/Juba".


More information about the tz mailing list