[Python-Dev] PEP 418: rename time.monotonic() to time.steady()?
R. David Murray
rdmurray at bitdance.com
Tue Apr 3 09:12:57 CEST 2012
On Tue, 03 Apr 2012 22:42:37 +0800, Matt Joiner <anacrolix at gmail.com> wrote:
> The discussion has completed degenerated. There are several different
> clocks here, and several different agendas.
It's probably time to do a reset. Read Victor's PEP, and help
him edit it so that it accurately reflects the various arguments.
Then we can bikeshed some more based on the language in the PEP :)
--David
More information about the Python-Dev
mailing list