Eric Smith advised me that I'll have to manually re-post to the Ideas list.
I'll do so once my subscription there is accepted. If possible, this thread
should be deleted.
_______________________________________________
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/NQJI2ZEH567TFV55SN4J5MHVNEAUZRO2/
