The painful fact is that it does include the leap seconds before January 6th 1980. Makes it messy to convert between UTC and GPS time. I think all the online c

The painful fact is that it does include the leap seconds before January 6th 1980. Makes it messy to convert between UTC and GPS time. I think all the online converters I found a couple of years ago failed to get this right.