Issue #22117: Use the _PyTime_t API for time.clock_settime()
Remove also the now unused _PyTime_AddDouble() function.
V
Victor Stinner committed
b3b454407058cd57d8a401a5aeb018d4ccb87616
Parent: c337838
Remove also the now unused _PyTime_AddDouble() function.