[issue13478] No documentation for timeit.default_timer

2012-04-24 Thread Roundup Robot
Roundup Robot devn...@psf.upfronthosting.co.za added the comment: New changeset 86b927859155 by Sandro Tosi in branch '2.7': Issue #13478: document timeit.default_timer() http://hg.python.org/cpython/rev/86b927859155 New changeset 8165b59a4000 by Sandro Tosi in branch '3.2': Issue #13478:

[issue13478] No documentation for timeit.default_timer

2012-04-24 Thread Sandro Tosi
Changes by Sandro Tosi sandro.t...@gmail.com: -- resolution: - fixed stage: patch review - committed/rejected status: open - closed ___ Python tracker rep...@bugs.python.org http://bugs.python.org/issue13478 ___

[issue13478] No documentation for timeit.default_timer

2012-01-19 Thread Sandro Tosi
Sandro Tosi sandro.t...@gmail.com added the comment: I propose these 2 patches: I'm not exactly proud of - 'in a platform specific manner' in the first hunk - the second hunk I know that there should be a better way to express it, but since I can't get to it I'd just ask for suggestions :)

[issue13478] No documentation for timeit.default_timer

2012-01-19 Thread Sandro Tosi
Changes by Sandro Tosi sandro.t...@gmail.com: Added file: http://bugs.python.org/file24277/issue13478-py32.patch ___ Python tracker rep...@bugs.python.org http://bugs.python.org/issue13478 ___

[issue13478] No documentation for timeit.default_timer

2011-11-25 Thread Sandro Tosi
New submission from Sandro Tosi sandro.t...@gmail.com: Hello, timeit documentation doesn't mention default_timer, while the module exposes it publicly and there's code snippets on the web using it. It should be documented then. ps: adding Georg to nosy as per Experts list --