I've marked their emails to be automatically discarded.

On Sat, Jul 6, 2019 at 6:50 AM Chris Angelico <rosuav@gmail.com> wrote:
On Sat, Jul 6, 2019 at 11:37 PM David Mertz <mertz@gnosis.cx> wrote:
>
> Seems useful, but it probably needs a PEP. :-)

Please don't quote spam, but if you must, do please delete the links
from your post :)

ChrisA
_______________________________________________
Python-ideas mailing list -- python-ideas@python.org
To unsubscribe send an email to python-ideas-leave@python.org
https://mail.python.org/mailman3/lists/python-ideas.python.org/
Message archived at https://mail.python.org/archives/list/python-ideas@python.org/message/V6DGJ5LS4OYZNFOUSIY3FE2GULYJT4AF/
Code of Conduct: http://python.org/psf/codeofconduct/