Okay, thanks everyone who answered. In hindsight you are all correct, writing a new PEP is the best solution and I was being over-optimistic (and a little lazy) to think otherwise.
I think that, technically, I still have core dev permissions, even though I haven't used them for quite some time. If nobody objects, I would like to use them to sponsor the new PEP. Does it make a difference if I am a co-author of the new PEP, or a significant contributor? Dipping-my-toes-back-into-CPython-dev-ly y'rs, -- Steve _______________________________________________ Python-Dev mailing list -- python-dev@python.org To unsubscribe send an email to python-dev-le...@python.org https://mail.python.org/mailman3/lists/python-dev.python.org/ Message archived at https://mail.python.org/archives/list/python-dev@python.org/message/OYFGGJDQAPU4VGW756JT22GED2GVUYSU/ Code of Conduct: http://python.org/psf/codeofconduct/
