Oct. 27, 2019
3:06 p.m.
Benjamin Edwards <benjaminedwards@live.co.uk> added the comment: Is this still open, does the patch still need a pull request? ---------- nosy: +benedwards14 _______________________________________ Python tracker <report@bugs.python.org> <https://bugs.python.org/issue15243> _______________________________________