3 ms·
That has all the same legal difficulties as removing leap seconds from UTC (indeed it sounds like you would remove leap seconds from UTC).
by lmm 2y ago
That has all the same legal difficulties as removing leap seconds from UTC (indeed it sounds like you would remove leap seconds from UTC).