On 4/1/2022 10:01 AM, Victor Stinner wrote:
Update on this issue: I merged my 2 PRs.
https://bugs.python.org/issue46850
So what was the point of this discussion then?
I don't see any additional discussion on the bug, and the prevailing
opinion from actual users of this API is that it probably shouldn't
change, and certainly shouldn't become internal without additional
guarantees about stability.
Did we all just waste a whole lot of electrons discussing a foregone
conclusion?
(My apologies to the people I invited into this thread. I genuinely
thought it would help to have outside perspective on this potential change.)
Cheers,
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/IZGWG3KKGGWI7HLYSJUDQVTXFUNGZKD3/
Code of Conduct: http://python.org/psf/codeofconduct/
