May 3, 2018
11:35 p.m.
Guido van Rossum <guido@python.org> added the comment: I'm okay with multiple PRs, but do beware that each PR requires a core dev to open a browser window etc., so try to group them a bit. But no need to wait for the perfect list! ---------- _______________________________________ Python tracker <report@bugs.python.org> <https://bugs.python.org/issue32769> _______________________________________