[issue9079] Make gettimeofday available in time module

[Antoine Pitrou]

Antoine Pitrou <pitrou at free.fr> added the comment:

Instead of being defined in _time.h, perhaps the new API function should be provided by core Python? It would probably help in certain threading primitives.

----------
nosy: +pitrou

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