[Python-ideas] add a time decorator to timeit.py

Jonathan Fine jfine2358 at gmail.com
Sun Oct 7 15:49:21 EDT 2018

On 7 Oct 2018 20:39, "Michael Selik" <mike at selik.org> wrote:

Isn't there some rule about noticing an undocumented feature, like,
whoever pours the last cup of coffee needs to brew a fresh pot? :-)

Most of the credit belongs, I think, to the original poster. His statement,
that Python wasn't very Pythonic here, really drew attention to the empty
coffee pot.

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.python.org/pipermail/python-ideas/attachments/20181007/3a802201/attachment.html>

More information about the Python-ideas mailing list