fixes #815 Prefer gethrtime over clock_gettime
1 file changed