[issue19007] precise time.time() under Windows 8: use GetSystemTimePreciseAsFileTime

[STINNER Victor]

Changes by STINNER Victor <victor.stinner at gmail.com>:


----------
title: precise time.time() under Windows 8 -> precise time.time() under Windows 8: use GetSystemTimePreciseAsFileTime

_______________________________________
Python tracker <report at bugs.python.org>
<http://bugs.python.org/issue19007>
_______________________________________