[issue1040026] os.times() is bogus

[Martin v. Löwis]

Changes by Martin v. Löwis <martin at v.loewis.de>:


Removed file: http://bugs.python.org/file9518/os_times3.PATCH

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