4 Feb
2022
4 Feb
'22
10:25 p.m.
On Fri, Feb 4, 2022, 16:03 Guido van Rossum <guido@python.org> wrote:
I wonder if a better solution than that PR wouldn't be to somehow change the implementation of _Py_IDENTIFIER() to do that,
Yeah, I had the same realization today. I'm going to try it out. -eric