GeezerVison

The Post-History at the top needs updating too:

Post-History: 21-May-2019

PEP 1:

  Post-History: <dates of postings to python-ideas and/or python-dev>

What is/are the new dates?

It was posted to Discourse on 4th Feb:

https://discuss.python.org/t/pep-594-take-2-removing-dead-batteries-from-the-standard-library/13508

(We probably need to include Discourse in PEP 1 too.)

@hugovk Would that be better fixed in a separate PR?

I had opened this one intending it not to change anything substantial.

(We probably need to include Discourse in PEP 1 too.)

See #2266 ; a PR to implement what was discussed there is pending merge of #2302 , to avoid the chance of conflicts

I had opened this one intending it not to change anything substantial.

I'd consider that a pretty minor change, but I agree its out of scope here in a copyediting/proofreading PR. The discussion link should be updated as well; I can do that in a separate PR.

I'd consider that a pretty minor change, but I agree its out of scope here in a copyediting/proofreading PR.

Agreed that it's minor, but it seems like choosing the correct date to put there may take some discussion, which would probably be better sited with/near related discussion.

PR opened as #2335 to update the Discourse link and post date

it seems like choosing the correct date to put there may take some discussion

I'm not sure how it is ambiguous, given its just the date that the new Discourse thread was posted (and not terribly critical regardless), but I do agree it is not really in scope here and would be better handled in a separate PR, which I've opened as above.

I'm not sure how it is ambiguous ...

Had just never noticed that the Post-History field could hold more than one date. 🙂

@brettcannon I assume you'll want to look this over and merge, since this is your PEP?

@CAM-Gerlach 🤷 there's no semantic change here, so no need to wait on me specifically.

@bskinn thanks for the PR!