* Erik, could you propose a change to the PEP text? I just created https://github.com/python/peps/pull/2555 to address these issues.
-Erik
_______________________________________________ Python-Dev mailing list -- [email protected] To unsubscribe send an email to [email protected] https://mail.python.org/mailman3/lists/python-dev.python.org/ Message archived at https://mail.python.org/archives/list/[email protected]/message/W4NJNTXJIH75QKOBTRIYYNSQYN5R4ZRK/ Code of Conduct: http://python.org/psf/codeofconduct/