On 8/21/2020 2:54 PM, Guido van Rossum wrote:
Does closing and reopening the PR work?
https://github.com/python/cpython/pull/21466
Yes, ready to merge.
--
Terry Jan Reedy
_______________________________________________
Python-Dev mailing list -- python-dev@python.org
To unsubscribe send an email to python-dev-le...@python.org
https://mail.python.org/mailman3/lists/python-dev.python.org/
Message archived at
https://mail.python.org/archives/list/python-dev@python.org/message/2EQADIL4XRVTFL2YAUVBG73P5U3MK4GA/
Code of Conduct: http://python.org/psf/codeofconduct/
