Skip to content
Snippets Groups Projects

time: use gettimeofday if clock_gettime not available (OS X < Sierra)

Merged Daniel Salzman requested to merge time_patch into master
  1. Jan 31, 2017