[issue15413] os.times() disappeared under Windows

[Larry Hastings]

Larry Hastings <larry at hastings.org> added the comment:

Sorry, I've been on the road a lot.  Thanks, Antoine!

----------

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