Merge pull request #408 from terrelln/time
authorYann Collet <Cyan4973@users.noreply.github.com>
Tue, 31 Oct 2017 20:49:29 +0000 (13:49 -0700)
committerGitHub <noreply@github.com>
Tue, 31 Oct 2017 20:49:29 +0000 (13:49 -0700)
[bench] Use higher resolution timer on POSIX


Trivial merge