retooted Filippo Valsorda
No more leap seconds, ever! There isn’t one in December and they will be abolished in May.
The last one will forever be the 2016(?!) one. Didn’t realize having experienced leap seconds in prod dates me.
I’m not going to miss time going backwards, I’ll be honest.