[issue13882] Add format argument for time.time(), time.clock(), ... to get a timestamp as a Decimal object

[STINNER Victor]

Changes by STINNER Victor <victor.stin...@haypocalc.com>:


----------
assignee:  -> Arfrever
Added file: http://bugs.python.org/file24367/time_decimal-4.patch

_______________________________________
Python tracker <rep...@bugs.python.org>
<http://bugs.python.org/issue13882>
_______________________________________
_______________________________________________
Python-bugs-list mailing list
Unsubscribe: 
http://mail.python.org/mailman/options/python-bugs-list/archive%40mail-archive.com