Version
4.0-5533
Branch
master
Date
9 years, 8 months ago
Windows x64 Mac OS X Android Ubuntu 13.04
Commit
86226cb2b908b8530cafdae97216cc1f8ca11486
Change author
Markus Wick
Change description
Merge pull request #1979 from Mullin/head

Use clock_gettime instead of gettimeofday, it's more efficiency on low power system