[Datetime-SIG] PEP 495 (Local Time Disambiguation) is ready for pronouncement

[Ethan Furman]

Correction to PEP:

----------------------------------
[about halfway down]
The value returned by dt.timestamp() given a missing dt will be the larger of the two "nice to know" values if dt.first  == True and the larger otherwise.

Presumably the first "larger" should be "smaller".
----------------------------------
[about three/fourths of the way down]
Temporal Arithmetics

The value of "first" will be ignored in all operations except those that involve conversion between timezones. [2] As a consequence, datetime.datetime` or datetime.time instances ...

"datetime.datetime" is missing a leading backtick.
----------------------------------


The PEP should be presented on py-dev for discussion (or at least for pronouncement).

Are the strict tzinfo's for a different PEP?

--
~Ethan~