25 Apr
2022
25 Apr
'22
4:21 p.m.
* Erik, could you propose a change to the PEP text? I just created https://github.com/python/peps/pull/2555 to address these issues. -Erik