On Thu, Mar 1, 2018 at 2:20 AM, Serhiy Storchaka <storch...@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/2cd352673896e84c4d30f22d0829fae65e253e85. > 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 _______________________________________________ Python-ideas mailing list Python-ideas@python.org https://mail.python.org/mailman/listinfo/python-ideas Code of Conduct: http://python.org/psf/codeofconduct/
