We are sorry that our customers were affected by this bug and are inspecting all our
code to ensure that there are no other leap second sensitive uses of time intervals.