Information for 4.0-4053

Version
4.0-4053
Branch
master
Date
10 years ago
Windows x64 Mac OS X Android Ubuntu 13.04
Commit
9cba7878718d7184b53f0f453b016f20ccbe7a1f
Change author
comex
Change description 
Merge pull request #1408 from randomstuff/perf

Profiling: measure time on non-Windows/POSIX using clock_gettime