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

[Guido van Rossum]

So someone ought to submit a PR that adds (brief) documentation for this,
with reference to this thread.

On Sun, Oct 7, 2018 at 12:50 PM Jonathan Fine <jfine2358 at gmail.com> wrote:

> 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.
>
> --
> Jonathan
>
> _______________________________________________
> Python-ideas mailing list
> Python-ideas at python.org
> https://mail.python.org/mailman/listinfo/python-ideas
> Code of Conduct: http://python.org/psf/codeofconduct/
>


-- 
--Guido van Rossum (python.org/~guido)
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.python.org/pipermail/python-ideas/attachments/20181007/ab276ba9/attachment.html>