Commit 60319788928def21d2164e472a0347bcd8cdab70

Edward Thomson 2019-08-23T09:58:15

Merge pull request #5054 from tniessen/util-use-64-bit-timer util: use 64 bit timer on Windows