time: use gettimeofday if clock_gettime not available (OS X < Sierra)
Merge request reports
Activity
Filter activity
mentioned in commit b6d00f6f
Got binaries now; thanks!
Please register or sign in to reply
Self sign-up has been disabled due to increased spam activity. If you want to get access, please send an email to a project owner (preferred) or at gitlab(at)nic(dot)cz. We apologize for the inconvenience.
mentioned in commit b6d00f6f
merged
Got binaries now; thanks!