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 -- [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/IZGWG3KKGGWI7HLYSJUDQVTXFUNGZKD3/
Code of Conduct: http://python.org/psf/codeofconduct/
