That's great to know. I had no idea since it's not mentioned in the man page for...

		ambrop7 on Jan 3, 2017 \| parent \| context \| favorite \| on: Leap second 2017 status That's great to know. I had no idea since it's not mentioned in the man page for clock_gettime (part of the "Linux Programmer's Manual"). Apparently the man pages are out of date.