4 Jan
2021
4 Jan
'21
10:36 p.m.
On 4 Jan 2021, at 18:24, Guido van Rossum guido@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