> On 4 Jan 2021, at 18:24, Guido van Rossum <[email protected]> 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 -- [email protected] To unsubscribe send an email to [email protected] https://mail.python.org/mailman3/lists/python-dev.python.org/ Message archived at https://mail.python.org/archives/list/[email protected]/message/EIZNTM5ZH5H6DTYG63SC4MVRAJH7HBJC/ Code of Conduct: http://python.org/psf/codeofconduct/