> On 4 Jan 2021, at 18:24, Guido van Rossum <gu...@python.org> wrote: > > OTOH if you just want to have the PR merged I can do that -- it seems > unobjectionable.
I'm eager to get it merged, so I'll appreciate it if you could help with that. Erlend _______________________________________________ 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/EIZNTM5ZH5H6DTYG63SC4MVRAJH7HBJC/ Code of Conduct: http://python.org/psf/codeofconduct/
