Brian Curtin <cur...@acm.org> added the comment:
Seems reasonable.
Additionally, the block about time.strftime not utilizing date related formats
(line 1514 in the patched file) can be removed. It has worked for a long time
(forever?).
>>> time.strftime("%Y-%m-%d %H:%M:%S", time.localtime())
'2010-01-13 21:32:52'
----------
nosy: +brian.curtin
_______________________________________
Python tracker <rep...@bugs.python.org>
<http://bugs.python.org/issue7699>
_______________________________________
_______________________________________________
Python-bugs-list mailing list
Unsubscribe:
http://mail.python.org/mailman/options/python-bugs-list/archive%40mail-archive.com
