Feb. 5, 2022
3:25 a.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