This is great news! No leap second in 2020. It won't be a second longer than necessary.