[Python-Dev] PEP 418: rename time.monotonic() to time.steady()? (original) (raw)
R. David Murray rdmurray at bitdance.com
Tue Apr 3 09:12:57 CEST 2012
- Previous message: [Python-Dev] PEP 418: rename time.monotonic() to time.steady()?
- Next message: [Python-Dev] PEP 418: rename time.monotonic() to time.steady()?
- Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
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
- Previous message: [Python-Dev] PEP 418: rename time.monotonic() to time.steady()?
- Next message: [Python-Dev] PEP 418: rename time.monotonic() to time.steady()?
- Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]