-
Michael Hanselmann authored
SplitTime didn't round the same on different platforms. This patch changes it to use microseconds and not care about rounding. Reviewed-by: iustinp
45bc5e4a
SplitTime didn't round the same on different platforms. This patch changes it to use microseconds and not care about rounding. Reviewed-by: iustinp