Feb. 28, 2018
3:24 p.m.
On Thu, Mar 1, 2018 at 2:20 AM, Serhiy Storchaka <storchaka@gmail.com> wrote:
28.02.18 08:52, Chris Angelico пише:
A new version of the PEP has been pushed, and should be live within a few minutes.
https://www.python.org/dev/peps/pep-0572/
Whatever I've missed, do please let me know. This document should end up incorporating, or at least mentioning, all of the proposals you cited.
I have left comments on https://github.com/python/peps/commit/2cd352673896e84c4d30f22d0829fae65e253e.... Not sure that they are visible to you.
They are, thanks. I've responded to them all, either inline in the GitHub commit notes, and/or by pushing a change that fixes the issue. Appreciated. ChrisA