April 1, 2022
10:36 a.m.
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